Hauschild, Kurt Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper. (German) Zbl 0299.02056 Fundam. Math. 82, 191-197 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03B25 Decidability of theories and sets of sentences 12L05 Decidability and field theory 12D15 Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) PDF BibTeX XML Cite \textit{K. Hauschild}, Fundam. Math. 82, 191--197 (1974; Zbl 0299.02056) Full Text: DOI EuDML