Variable compactness in 1-order logic

DOI10.1093/JIGPAL/7.3.327MaRDI QIDQ4255974zbMATH OpenOpenAlexFDO

Authors L. N. Gordeev

Publication date 25 January 2000

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/7.3.327

zbMATH Keywords

finite variable logicfirst-order logicrelative completenessTarski's conjugated quasi-projections

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Provability with Finitely Many Variables
• Degrees of logics with Henkin quantifiers in poor vocabularies
• Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität
• On a theorem of Vaught for first order logic with finitely many variables

Cited in

(3)

• One-variable logic meets Presburger arithmetic
• Provability with Finitely Many Variables
• Finite methods in 1-order formalisms

This page was built for publication: Variable compactness in 1-order logic

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