, Volume 68, Issue 3-4, pp 321-324
Date: 15 Nov 2012

On the equational complexity of RRA

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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

Presented by I. Hodkinson.