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

Abstract

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 but not representable relation algebras whose "small" subalgebras are representable.

To appear in Review of Symbolic Logic