Relation Algebras Compatible with ${\mathbb{Z}}_2$-sets

Abstract

We provide a characterization of those relation algebras which are isomorphic to the algebras of compatible relations of some ${\mathbb{Z}}_2$-set. We further prove that this class is finitely axiomatizable in first-order logic in the language of relation algebras.

This version reflects peer-review feedback