Relation Algebras Compatible with $\mathbb{Z}_2$-sets
Logic
2025-04-01 v2
Abstract
We provide a characterization of those relation algebras which are isomorphic to the algebras of compatible relations of some -set. We further prove that this class is finitely axiomatizable in first-order logic in the language of relation algebras.
Cite
@article{arxiv.2503.08566,
title = {Relation Algebras Compatible with $\mathbb{Z}_2$-sets},
author = {Jeremy F. Alm and John W. Snow},
journal= {arXiv preprint arXiv:2503.08566},
year = {2025}
}
Comments
Small error from previous version has been fixed