Subcompletions of representable relation algebras
Logic
2019-01-08 v1
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.
Keywords
Cite
@article{arxiv.1411.1096,
title = {Subcompletions of representable relation algebras},
author = {Roger D. Maddux},
journal= {arXiv preprint arXiv:1411.1096},
year = {2019}
}
Comments
22 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