The undecidability of pseudo real closed fields
From MaRDI portal
Publication:1066194
DOI10.1007/BF01174873zbMath0578.12020MaRDI QIDQ1066194
Publication date: 1984
Published in: Manuscripta Mathematica (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/155037
Decidability and field theory (12L05) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Decidability of theories and sets of sentences (03B25) Models of other mathematical theories (03C65)
Related Items
THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS, Undecidability of pseudo \(p\)-adically closed fields, RRC-fields with small absolute Galois groups, Cohomology theory of Artin-Schreier structures
Cites Work