Varieties generated by completions

DOI10.1007/s00012-019-0602-8zbMath1468.03080arXiv1810.04569OpenAlexW2962285392MaRDI QIDQ2311330

Hajnalka Andréka, Istvan Németi

Publication date: 10 July 2019

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.04569

zbMATH Keywords

ordered setcompletionrelation algebraalgebraic logicuniversal algebradiscriminator varietiesBoolean algebra with operatorsdense subalgebra

Mathematics Subject Classification ID

Partial orders, general (06A06) Complete lattices, completions (06B23) Model theory of finite structures (03C13) Algebraic aspects of posets (06A11) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items

On the variety generated by completions of representable relation algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Relation algebras by games
• Varieties of relation algebras
• Relation algebras
• Non-embeddable simple relation algebras
• A perspective on the theory of relation algebras
• The lattice of completions of an ordered set
• Atom structures of cylindric algebras and relation algebras
• Relation algebras and groups
• Subcompletions of representable relation algebras
• Coset relation algebras
• The finitely axiomatizable complete theories of non-associative arrow frames
• A representation theorem for measurable relation algebras
• NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS
• Groups and Algebras of Binary Relations
• THE VARIETY OF COSET RELATION ALGEBRAS
• The free non-commutative cylindric algebras are not atomic
• Introduction to Relation Algebras
• Simple Relation Algebras
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• Splitting in Relation Algebras
• Boolean Algebras with Operators
• Free algebras in discriminator varieties