The ordered field of real numbers and logics with Malitz quantifiers

DOI10.2307/2274225zbMath0582.03006OpenAlexW2113595243MaRDI QIDQ3705421

Andreas Rapp

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274225

zbMATH Keywords

generalized quantifiers

Mathematics Subject Classification ID

Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Ordered fields (12J15)

Related Items (2)

On the elimination of Malitz quantifiers over Archimedian real closed fields ⋮ The \({\mathcal L}^{<\omega}\)-theory of the class of Archimedian real closed fields

Cites Work

• Model-completeness in a first order language with a generalized quantifier
• Relative strength of Malitz quantifiers
• Compact extensions of L(Q) (part 1a)
• The relative expressive power of some logics extending first-order logic

This page was built for publication: The ordered field of real numbers and logics with Malitz quantifiers