On the elimination of Malitz quantifiers over Archimedian real closed fields

DOI10.1007/BF01622876zbMath0693.03021MaRDI QIDQ584248

Peter Koepke

Publication date: 1989

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

zbMATH Keywords

continuum hypothesisarchimedian real closed fieldsuniform eliminability

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

• Unnamed Item
• Model-completeness in a first order language with a generalized quantifier
• The ordered field of real numbers and logics with Malitz quantifiers
• Some theorems about the sentential calculi of Lewis and Heyting
• Multiple Forcing

This page was built for publication: On the elimination of Malitz quantifiers over Archimedian real closed fields