Relation algebras with \(n\)-dimensional relational bases
From MaRDI portal
Publication:1964020
DOI10.1016/S0168-0072(99)00022-6zbMath0953.03071MaRDI QIDQ1964020
I. M. Hodkinson, Robin Hirschl
Publication date: 29 January 2001
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
recursive equational axiomatization; finite axiomatizability; \(n\)-dimensional basis; \(n\)-dimensional relation algebras; relative representation theory
03G15: Cylindric and polyadic algebras; relation algebras
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03C25: Model-theoretic forcing
Related Items
Algebraic Logic, Where Does it Stand Today?, Relation algebras from cylindric algebras. I, Relation algebras from cylindric algebras. II, Finite, integral, and finite-dimensional relation algebras: A brief history, Atom structures of cylindric algebras and relation algebras, POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS