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

DOI10.1007/BF01622875zbMATH Open0682.03018OpenAlexW2024769114MaRDI QIDQ1823930FDOQ1823930

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

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

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)

Cites Work

• Set theory. An introduction to independence proofs
• Title not available (Why is that?)
• Proper forcing
• The ordered field of real numbers and logics with Malitz quantifiers
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• 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)
• 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

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)