Einige unentscheidbare Körpertheorien

zbMath0519.12018MaRDI QIDQ1054789

Martin Ziegler

Publication date: 1982

Published in: L'Enseignement Mathématique. 2e Série (Search for Journal in Brave)

zbMATH Keywords

hereditarily undecidable; Tarski problem; undecidebility of theory of Euclidean fields; undecidebility of theory of Pythagorean fields

Mathematics Subject Classification ID

12L05: Decidability and field theory

03C60: Model-theoretic algebra

12D15: Fields related with sums of squares (formally real fields, Pythagorean fields, etc.)

03B25: Decidability of theories and sets of sentences

12L12: Model theory of fields

Related Items

Definability and decidability in infinite algebraic extensions