Finite representations for two small relation algebras

Jeremy F. Alm, Roger D. Maddux

In this note, we give two different proofs that relation algebra $52_{65}$ is representable over a finite set. The first is probabilistic, and uses Johnson schemes. The second is a…