Einige unentscheidbare Körpertheorien
From MaRDI portal
Publication:1054789
zbMath0519.12018MaRDI QIDQ1054789
Publication date: 1982
Published in: L'Enseignement Mathématique. 2e Série (Search for Journal in Brave)
hereditarily undecidableTarski problemundecidebility of theory of Euclidean fieldsundecidebility of theory of Pythagorean fields
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
This page was built for publication: Einige unentscheidbare Körpertheorien