The undecidability of pseudo real closed fields

DOI10.1007/BF01174873zbMath0578.12020MaRDI QIDQ1066194

Dan Haran

Publication date: 1984

Published in: Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/155037

zbMATH Keywords

undecidable theoriespseudo algebraically closed fieldspseudo real closed fields

Mathematics Subject Classification ID

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

• Embedding covers and the theory of Frobenius fields
• The elementary theory of algebraic fields of finite corank
• Decidability and undecidability theorems for PAC-fields
• Unnamed Item
• Unnamed Item