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
relation algebragroupcomplex algebraBrandt groupoidgroup relation algebrameasurable relation algebranonrepresentable relation algebraatom structurepolygroupoidcoset algebra
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)
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