×

zbMATH — the first resource for mathematics

Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper. (German) Zbl 0299.02056

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
Full Text: DOI EuDML