Abstract
AbstractMaddux recently defined the variety V generated by the completions of representable relation algebras. In this note, we observe that V is canonical, answering Maddux’s problem 1.1(3), and show that the variety of representable relation algebras is not finitely axiomatisable over V.
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference10 articles.
1. Andréka, H., Németi, I.: Varieties generated by completions. Algebra Universalis 80, 30 (2019)
2. Diestel, R.: Graph theory, Graduate Texts in Mathematics, vol. 173. Springer, Berlin (1997)
3. Erdős, P.: Graph theory and probability. Canad. J. Math. 11, 34–38 (1959)
4. Gehrke, M., Harding, J., Venema, Y.: MacNeille completions and canonical extensions. Trans. Amer. Math. Soc. 358, 573–590 (2006)
5. Hirsch, R., Hodkinson, I.: Relation algebras by games, Studies in Logic and the Foundations of Mathematics, vol. 147. North-Holland, Amsterdam (2002)