On canonicity and completions of weakly representable relation algebras

DOI10.2178/jsl/1327068701zbMath1253.03093MaRDI QIDQ5388728

Szabolcs Mikulás, I. M. Hodkinson

Publication date: 19 April 2012

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1327068701

zbMATH Keywords

completions; canonical extensions; weakly representable relation algebras

Mathematics Subject Classification ID

03G15: Cylindric and polyadic algebras; relation algebras

Cites Work

• Unnamed Item
• Relation algebras by games
• A sequent calculus for relation algebras
• Cylindric algebras. Part II
• Weakly representable but not representable relation algebras
• Atom structures of cylindric algebras and relation algebras
• Axiomatizability of reducts of algebras of relations
• The equational theory of union-free algebras of relations
• Arguesian lattices which are not type-1
• Varieties of complex algebras
• Weakly representable relation algebras form a variety
• Weak representations of relation algebras and relational bases
• Representation of Modular Lattices and Of Relation Algebras
• Relativised quantification: Some canonical varieties of sequence-set algebras
• Arguesian lattices which are not linear
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• Properties of Tense Logics
• MacNeille completions and canonical extensions
• Boolean Algebras with Operators. Part I