On the variety generated by completions of representable relation algebras

DOI10.1007/s00012-020-0643-zzbMath1442.03033OpenAlexW3005423295MaRDI QIDQ2297227

I. M. Hodkinson

Publication date: 18 February 2020

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

Full work available at URL: https://doi.org/10.1007/s00012-020-0643-z

zbMATH Keywords

graphcyclecompletionchromatic numbervarietyrelation algebracanonical varietynon-finitely axiomatisable variety

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Coloring of graphs and hypergraphs (05C15) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites Work

• Unnamed Item
• Relation algebras by games
• Atom structures of cylindric algebras and relation algebras
• Subcompletions of representable relation algebras
• Varieties generated by completions
• Strongly representable atom structures of relation algebras
• Graph Theory and Probability
• Canonical varieties with no canonical axiomatisation
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• MacNeille completions and canonical extensions

This page was built for publication: On the variety generated by completions of representable relation algebras