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

Jeremy F. Alm, Robin Hirsch, Roger D. Maddux. There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras. Rew. Symb. Logic, 9(3):511-521, 2016. [doi]

Authors

Jeremy F. Alm

This author has not been identified. Look up 'Jeremy F. Alm' in Google

Robin Hirsch

This author has not been identified. Look up 'Robin Hirsch' in Google

Roger D. Maddux

This author has not been identified. Look up 'Roger D. Maddux' in Google