First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth

Rob Egrot, Robin Hirsch

Using a variation of the rainbow construction and various pebble and colouring games, we prove that RRA, the class of all representable relation algebras, cannot be axiomatised by…