The \({\mathcal L}^{<\omega}\)-theory of the class of Archimedian real closed fields

DOI10.1007/BF01622875zbMath0682.03018OpenAlexW2024769114MaRDI QIDQ1823930

Gerd Bürger

Publication date: 1989

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01622875

zbMATH Keywords

Malitz quantifierArchimedian real closed fieldsContinuum-HypothesisMalitz logicProper-Forcing-Axiom

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Logic with extra quantifiers and operators (03C80) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Set theory. An introduction to independence proofs
• Proper forcing
• The ordered field of real numbers and logics with Malitz quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The \({\mathcal L}^{<\omega}\)-theory of the class of Archimedian real closed fields