Subcompletions of representable relation algebras
From MaRDI portal
Publication:1652851
DOI10.1007/s00012-018-0493-0zbMath1444.03177arXiv1411.1096OpenAlexW3098221917WikidataQ129904377 ScholiaQ129904377MaRDI QIDQ1652851
Publication date: 16 July 2018
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1411.1096
Related Items (3)
On the variety generated by completions of representable relation algebras ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ Varieties generated by completions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Sum-free cyclic multi-bases and constructions of Ramsey algebras
- Relation algebras by games
- Representability of Ramsey relation algebras
- The representation of relation algebras. II
- A sequent calculus for relation algebras
- Combinatorial aspects of relations
- Relation algebras
- Chromatic graphs, Ramsey numbers and the flexible atom conjecture
- Equations not preserved by complete extensions
- Cylindric algebras. Part II
- Some sufficient conditions for the representability of relation algebras
- Non-embeddable simple relation algebras
- Atom structures of cylindric algebras and relation algebras
- On representable relation algebras
- The representation of relational algebras
- Strongly representable atom structures of relation algebras
- Representation of Modular Lattices and Of Relation Algebras
- Strongly representable atom structures of cylindric algebras
- Some Varieties Containing Relation Algebras
- Nonfinite axiomatizability results for cylindric and relation algebras
- Complete representations in algebraic logic
- Relation algebra reducts of cylindric algebras and an application to proof theory
- Completely Representable Relation Algebras
- Canonical varieties with no canonical axiomatisation
- On the maximal triangle-free edge-chromatic graphs in three colors
- Nonfinitizability of classes of representable cylindric algebras
- Completions of B<scp>OOLEAN</scp> Algebras with operators
- MacNeille completions and canonical extensions
- Splitting in Relation Algebras
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Combinatorial Relations and Chromatic Graphs
This page was built for publication: Subcompletions of representable relation algebras
