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

DOI10.1007/BF01622875MaRDI QIDQ1823930zbMATHOpenAlexFDO

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

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

Mathematics Subject Classification ID

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

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

(4)

• On the elimination of Malitz quantifiers over Archimedian real closed fields
• Generalized Archimedean fields and logics with Malitz quantifiers
• The ordered field of real numbers and logics with Malitz quantifiers
• 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)

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)