Relation Algebras Compatible with ℤ₂-sets

2025/03/11 by Alm, Jeremy F., Snow, John W.
#03G15 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2503.08566

Abstract

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

Related

• Relation algebras of Sugihara, Belnap, Meyer, and Church
• On sets of first-order formulas axiomatizing representable relation algebras
• Coset relation algebras
• On the construction of explosive relation algebras
• Finite Representation Property for Relation Algebra Reducts