Subcompletions of representable relation algebras
arXiv:1411.1096 · doi:10.1007/s00012-018-0493-0
Abstract
Many finite symmetric integral non-representable relation algebras, including almost all Monk algebras, can be embedded in the completion of an atomic symmetric integral representable relation algebra whose finitely-generated subalgebras are finite.
arXiv comment22 pages, presented as Subcompletions of atomic representable relational algebras, Invited Talk, at the Workshop on Lattices and Relations, 12 September 2012, Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands