Cyclic Group Spectra for Some Small Relation Algebras

Jeremy F. Alm,Ashlee Bostic,Claire Chenault,Kenyon Coleman,Chesney Culver
2024-03-24
Abstract:The question of characterizing the (finite) representable relation algebras in a ``nice" way is open. The class $\mathbf{RRA}$ is known to be not finitely axiomatizable in first-order logic. Nevertheless, it is conjectured that ``almost all'' finite relation algebras are representable.
Logic,Discrete Mathematics,Combinatorics
What problem does this paper attempt to address?