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 undecidableTarski problemundecidebility of theory of Euclidean fieldsundecidebility of theory of Pythagorean fields

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Decidability of theories and sets of sentences (03B25) Model theory of fields (12L12)

Related Items (1)

Definability and decidability in infinite algebraic extensions

This page was built for publication: Einige unentscheidbare Körpertheorien