NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS

DOI10.1017/S1755020319000224zbMath1477.03262arXiv1809.05473OpenAlexW2949229476MaRDI QIDQ3389497

Istvan Németi, Hajnalka Andréka, Steven Givant

Publication date: 11 May 2021

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

relation algebragroupcomplex algebraBrandt groupoidgroup relation algebrameasurable relation algebranonrepresentable relation algebraatom structurepolygroupoidcoset algebra

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Sets with a single binary operation (groupoids) (20N02) Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items (3)

Comer schemes, relation algebras, and the flexible atom conjecture ⋮ Varieties generated by completions ⋮ Undecidability of Algebras of Binary Relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Embedding modular lattices into relation algebras
• Relation algebras by games
• Relation algebras and projective geometries
• Varieties of relation algebras
• Combinatorial aspects of relations
• Relation algebras
• A new foundation for the theory of relations
• Language in action. Categories, lambdas and dynamic logic
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• Multi-dimensional modal logic
• Relation algebras and groups
• Subcompletions of representable relation algebras
• Coset relation algebras
• The finitely axiomatizable complete theories of non-associative arrow frames
• Relation algebras and their application in temporal and spatial reasoning
• A representation theorem for measurable relation algebras
• On representable relation algebras
• Representations of integral relation algebras
• Representability is not decidable for finite relation algebras
• Representation of Modular Lattices and Of Relation Algebras
• Decision problems for equational theories of relation algebras
• Relational Methods in Computer Science
• Groups and Algebras of Binary Relations
• A representation theorem for measurable relation algebras with cyclic groups
• THE VARIETY OF COSET RELATION ALGEBRAS
• Advanced Topics in Relation Algebras
• Introduction to Relation Algebras
• Splitting in Relation Algebras
• Boolean Algebras with Operators

This page was built for publication: NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS