The lattice of varieties of representable relation algebras

DOI10.2307/2275414zbMath0815.03039OpenAlexW2159867521MaRDI 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

zbMATH Keywords

embeddingmodel theoryrelation algebrasvarietiesquantifier logicsalgebras with different equational theories

Mathematics Subject Classification ID

Lattices of varieties (08B15) Logic with extra quantifiers and operators (03C80) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Minimal relation algebras, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, How many varieties of cylindric algebras are there, Countable 1-Transitive Trees, Varieties of semiassociative relation algebras and tense algebras, 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