A relation algebra atom structure α is said to be strongly representable if all atomic relation algebras with that atom structure are representable. This is equivalent to saying that the complex ...

Conjecture (1) of [Ma83] is confirmed here by the following result: if $3 \leq \alpha < \omega$, then there is a finite relation algebra of dimension α, which is not a relation algebra of dimension α ...