The lattice of varieties of representable relation algebras
From MaRDI portal
Publication:4302359
DOI10.2307/2275414zbMath0815.03039MaRDI QIDQ4302359
Istvan Németi, Hajnalka Andréka, Steven Givant
Publication date: 15 August 1994
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275414
embedding; model theory; relation algebras; varieties; quantifier logics; algebras with different equational theories
08B15: Lattices of varieties
03C80: Logic with extra quantifiers and operators
03C05: Equational classes, universal algebra in model theory
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
Minimal relation algebras, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, A proof system for contact relation algebras
Cites Work
- Unnamed Item
- Varieties of relation algebras
- Relation algebras and Schröder categories
- Small integral relation algebras generated by a partial order
- On representable relation algebras
- The representation of relational algebras
- Uncountably many Varieties of Groups
- ON THE PROBLEM OF A FINITE BASIS OF IDENTITIES IN GROUPS
- Boolean Algebras with Operators