Axiomatizability of reducts of algebras of relations

DOI10.1007/s000120050159zbMath1011.03051OpenAlexW2049561126MaRDI 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

zbMATH Keywords

reductrepresentable relation algebrafinitely axiomatizable quasivarietyfinitely based equational theoryrepresentable cylindric algebra

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quasivarieties (08C15) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (12)

Reducts of relation algebras: the aspects of axiomatisability and finite representability ⋮ On the variety generated by generalized subreducts of Tarski's algebras of relations ⋮ On the equational complexity of RRA ⋮ Axiomatizability of representable domain algebras ⋮ On Jónsson's problem for groupoids of relations with operation of binary cylindrification ⋮ On canonicity and completions of weakly representable relation algebras ⋮ Cylindric structures and dependencies in relational databases ⋮ On algebras of binary relations with conjunctive operations ⋮ On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection ⋮ On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation ⋮ On groupoids of relations with one conjunctive operation of rank 2 ⋮ Lower semilattice-ordered residuated semigroups and substructural logics

This page was built for publication: Axiomatizability of reducts of algebras of relations