Nonfinite axiomatizability results for cylindric and relation algebras
- 1 September 1989
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 54 (3) , 951-974
- https://doi.org/10.2307/2274756
Abstract
The set of equations which use only one variable and hold in all representable relation algebras cannot be derived from any finite set of equations true in all representable relation algebras. Similar results hold for cylindric algebras and for logic with finitely many variables. The main tools are a construction of nonrepresentable one-generated relation algebras, a method for obtaining cylindric algebras from relation algebras, and the use of relation algebras in defining algebraic semantics for first-order logic.Keywords
This publication has 8 references indexed in Scilit:
- A Formalization of Set Theory Without Variables.The American Mathematical Monthly, 1990
- Finite integral relation algebrasPublished by Springer Nature ,1985
- A sequent calculus for relation algebrasAnnals of Pure and Applied Logic, 1983
- Some varieties containing relation algebrasTransactions of the American Mathematical Society, 1982
- Internal Semantics and Algebraic LogicPublished by Elsevier ,1973
- On representable relation algebras.The Michigan Mathematical Journal, 1964
- Cylindric algebrasProceedings of Symposia in Pure Mathematics, 1961
- Combinatorial Relations and Chromatic GraphsCanadian Journal of Mathematics, 1955