There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
Logic
2019-02-20 v6 Rings and 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.
Keywords
Cite
@article{arxiv.1310.5076,
title = {There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras},
author = {Jeremy F. Alm and Robin Hirsch and Roger D. Maddux},
journal= {arXiv preprint arXiv:1310.5076},
year = {2019}
}
Comments
To appear in Review of Symbolic Logic