arXiv:1304.2092 Abstract | arXiv Analytics

Published 2013-04-08Version 1

We prove that the equational complexity function for the variety of representable relation algebras is bounded below by a log-log function.

Comments: 4 pages

Journal: Algebra Universalis, (68), 2012, p. 321-324

Categories: math.LO, math.CO, math.RA

Subjects: 03G15

Keywords: equational complexity function, log-log function, representable relation algebras

Tags: journal article

Related articles:

arXiv:1810.04569 [math.LO] (Published 2018-10-10)

Varieties generated by completions

arXiv:2310.11719 [math.LO] (Published 2023-10-18)

Representable distributive quasi relation algebras