Axiomatizability of reducts of algebras of relations
From MaRDI portal
Publication:1866804
DOI10.1007/s000120050159zbMath1011.03051MaRDI QIDQ1866804
Szabolcs Mikulás, I. M. Hodkinson
Publication date: 23 April 2003
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s000120050159
reduct; representable relation algebra; finitely axiomatizable quasivariety; finitely based equational theory; representable cylindric algebra
03C60: Model-theoretic algebra
08C15: Quasivarieties
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
On canonicity and completions of weakly representable relation algebras, Cylindric structures and dependencies in relational databases, Axiomatizability of representable domain algebras, On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection, On the equational complexity of RRA, On algebras of binary relations with conjunctive operations, On Jónsson's problem for groupoids of relations with operation of binary cylindrification, On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation, Lower semilattice-ordered residuated semigroups and substructural logics