Provability with Finitely Many Variables

DOI10.2307/2036319zbMATH Open0216.01004OpenAlexW4235696876MaRDI QIDQ5619082FDOQ5619082

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

• Cylindric algebras. Part II
• Title not available (Why is that?)
• Nonfinitizability of classes of representable cylindric algebras
• Nonfinitizability of classes of representable polyadic algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Tarski's formalization of predicate logic with identity
• Undecidability of the homogeneous formulas of degree 3 of the predicate calculus

Cited In (6)

• 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

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)