The relative expressive power of some logics extending first-order logic

DOI10.2307/2273723MaRDI QIDQ4194947zbMATH OpenOpenAlexFDO

Authors John Cowles

Publication date 1979

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

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

zbMATH Keywords

Algebraically Closed FieldsExpressive PowersInfinitary LogicsLogics with Cardinal Malitz and Chang QuantifiersReal Closed FieldsWeak Second-Order Logics

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85)

Cites work

• Compact extensions of L(Q) (part 1a)

Cited in

(5)

• The ordered field of real numbers and logics with Malitz quantifiers
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Solubility of theories in a certain calculus
• Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry
• Some theorems in generalized calculuses

This page was built for publication: The relative expressive power of some logics extending first-order logic

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