The L^<-theory of the class of Archimedian real closed fields

DOI10.1007/BF01622875MaRDI QIDQ1823930zbMATH OpenOpenAlexFDO

Authors 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

Archimedian real closed fieldsContinuum-HypothesisMalitz logicMalitz quantifierProper-Forcing-Axiom

Mathematics Subject Classification ID

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

Review text

For the class \({\mathcal A}\) of Archimedian real closed fields it is shown that the Malitz quantifier \(Q^ n\) is eliminable over \({\mathcal A}\), provably in ZFC, if \(n\leq 2\). If the Continuum-Hypothesis (CH) is true, \(Q^ 3\), hence any \(Q^ n\) for \(n\geq 3\), cannot be eliminated over \({\mathcal A}\). Conversely, it is consistent with ZFC that every \(Q^ n\), for \(n\geq 1\), is eliminable over \({\mathcal A}\); the last statement is already a consequence of the Proper-Forcing-Axiom.

Recommendations

• On the elimination of Malitz quantifiers over Archimedian real closed fields
• scientific article; zbMATH DE number 45180
• Generalized Archimedean fields and logics with Malitz quantifiers
• The ordered field of real numbers and logics with Malitz quantifiers
• scientific article; zbMATH DE number 3900728

Cites work

• scientific article; zbMATH DE number 3829897 (Why is no real title available?)
• scientific article; zbMATH DE number 3885892 (Why is no real title available?)
• scientific article; zbMATH DE number 3728246 (Why is no real title available?)
• Proper forcing
• Set theory. An introduction to independence proofs
• The ordered field of real numbers and logics with Malitz quantifiers

Cited in

(5)

• La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field)
• Generalized Archimedean fields and logics with Malitz quantifiers
• The ordered field of real numbers and logics with Malitz quantifiers
• scientific article; zbMATH DE number 45180 (Why is no real title available?)
• On the elimination of Malitz quantifiers over Archimedian real closed fields

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1823930)