Nonfinite axiomatizability results for cylindric and relation algebras
From MaRDI portal
Publication:4204149
DOI10.2307/2274756zbMath0686.03035MaRDI QIDQ4204149
Publication date: 1989
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274756
relation algebras; algebraic semantics of first-order logic; equational theory of representable cylindric algebras
03B10: Classical first-order logic
03G15: Cylindric and polyadic algebras; relation algebras
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Algebraic Logic, Where Does it Stand Today?, Relation algebras from cylindric algebras. I, Relation algebras from cylindric algebras. II, Finite methods in 1-order formalisms, Neat embeddings, omitting types, and interpolation: an overview, Łukasiewicz-Moisil relation algebras, The calculus of relations as a foundation for mathematics, On varieties of cylindric algebras with applications to logic, Algebraization of quantifier logics, an introductory overview, Subsumption computed algebraically, Weakly representable but not representable relation algebras, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Representations of distributive lattice-ordered semigroups with binary relations, Strongly representable atom structures of relation algebras, The Neat Embedding Problem and the Number of Variables Required in Proofs, Canonical Relativized Cylindric Set Algebras, Pair-Dense Relation Algebras
Cites Work