Finite representations for two small relation algebras
Logic
2017-12-04 v1 Rings and Algebras
Abstract
In this note, we give two different proofs that relation algebra is representable over a finite set. The first is probabilistic, and uses Johnson schemes. The second is an explicit group representation over . We also give a finite representation of over using a technique due to Comer.
Cite
@article{arxiv.1712.00129,
title = {Finite representations for two small relation algebras},
author = {Jeremy F. Alm and Roger D. Maddux},
journal= {arXiv preprint arXiv:1712.00129},
year = {2017}
}