Provability with Finitely Many Variables

DOI10.2307/2036319MaRDI QIDQ5619082zbMATH OpenOpenAlexFDO

Authors J. Donald Monk

Publication date 1971

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

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Algebraic logic (03G99)

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3263218 (Why is no real title available?)
• scientific article; zbMATH DE number 3093421 (Why is no real title available?)
• Cylindric algebras. Part II
• Nonfinitizability of classes of representable cylindric algebras
• Nonfinitizability of classes of representable polyadic algebras
• On Tarski's formalization of predicate logic with identity
• Undecidability of the homogeneous formulas of degree 3 of the predicate calculus

Cited in

(7)

• On varieties of cylindric algebras with applications to logic
• The Neat Embedding Problem and the Number of Variables Required in Proofs
• The relational model of data and cylindric algebras
• Algebraization of quantifier logics, an introductory overview
• On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
• On conservative extensions in logics with infinitary predicates
• Transposition of variables is hard to axiomatize

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 Q5619082)