On the variety generated by completions of representable relation algebras

DOI10.1007/S00012-020-0643-ZzbMATH Open1442.03033OpenAlexW3005423295MaRDI QIDQ2297227FDOQ2297227

Authors: Ian 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

Recommendations

• Subcompletions of representable relation algebras
• Non-representable relation algebras from vector spaces
• Atom structures of cylindric algebras and relation algebras
• Varieties generated by completions
• A simple construction of representable relation algebras with non-representable completions

zbMATH Keywords

graphchromatic numbercyclevarietyrelation algebracompletioncanonical varietynon-finitely axiomatisable variety

Mathematics Subject Classification ID

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

Cites Work

• Graph Theory and Probability
• Title not available (Why is that?)
• Relation algebras by games
• Canonical varieties with no canonical axiomatisation
• MacNeille completions and canonical extensions
• Atom structures of cylindric algebras and relation algebras
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• Subcompletions of representable relation algebras
• Varieties generated by completions
• Strongly representable atom structures of relation algebras

Cited In (10)

• Non-representable relation algebras from vector spaces
• Varieties generated by completions
• Subcompletions of representable relation algebras
• A simple construction of representable relation algebras with non-representable completions
• Relativizations of relation algebras by the diversity
• The lattice of varieties of representable relation algebras
• Title not available (Why is that?)
• Representation of varieties in combinatory algebras
• Canonical varieties with no canonical axiomatisation
• Unifiability in relation algebras and in products of S5

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2297227)