Provability with Finitely Many Variables

DOI10.2307/3062204MaRDI QIDQ4779634zbMATH OpenOpenAlexFDO

Authors Roger Maddux, Robin Hirsch, Ian Hodkinson

Publication date 19 November 2003

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

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0803-toc.htm

zbMATH Keywords

first-order logic with equalityproofprovability

Mathematics Subject Classification ID

Classical first-order logic (03B10) Complexity of proofs (03F20)

Recommendations

• The Neat Embedding Problem and the Number of Variables Required in Proofs
• On a theorem of Vaught for first order logic with finitely many variables
• scientific article; zbMATH DE number 1302669
• Variable compactness in 1-order logic
• scientific article; zbMATH DE number 4135936

Cited in

(14)

• On conservative extensions in logics with infinitary predicates
• Epimorphisms in cylindric algebras and definability in finite variable logic
• The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
• scientific article; zbMATH DE number 5845490 (Why is no real title available?)
• The Neat Embedding Problem and the Number of Variables Required in Proofs
• scientific article; zbMATH DE number 4135936 (Why is no real title available?)
• On a theorem of Vaught for first order logic with finitely many variables
• scientific article; zbMATH DE number 3979048 (Why is no real title available?)
• Variable compactness in 1-order logic
• MÜNCHHAUSEN PROVABILITY
• Algebraic Logic, Where Does it Stand Today?
• Neat embeddings, omitting types, and interpolation: an overview
• The calculus of relations as a foundation for mathematics
• Definability with bounded number of bound variables

This page was built for publication: Provability with Finitely Many Variables

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