The lattice of varieties of representable relation algebras
Hajnal Andréka, Steven R. Givant, Istvàn Németi · Journal of Symbolic Logic · 1994
Abstract We shall show that certain natural and interesting intervals in the lattice of varieties of representable relation algebras embed the lattice of all subsets of the natural numbers, and therefore must have a very complicated lattice-theoretic structure.