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

DOI10.2307/2273723zbMath0408.03032OpenAlexW1969151120MaRDI QIDQ4194947

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

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

Related Items (5)

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

Cites Work

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

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