There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras.

Published in: Rev. Symb. Log. (2016)

Keyphrases