There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras

Jeremy F. Alm, Robin Hirsch, Roger D. Maddux

We prove that any equational basis that defines RRA over wRRA must contain infinitely many variables. The proof uses a construction of arbitrarily large finite weakly representable…