The Lattice of Varieties of Representable Relation Algebras
Andreka, Hajnal ; Givant, Steven ; Nemeti, Istvan
J. Symbolic Logic, Tome 59 (1994) no. 1, p. 631-661 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 1994-06-14
Classification:  03G15,  08B15 
@article{1183744504,
     author = {Andreka, Hajnal and Givant, Steven and Nemeti, Istvan},
     title = {The Lattice of Varieties of Representable Relation Algebras},
     journal = {J. Symbolic Logic},
     volume = {59},
     number = {1},
     year = {1994},
     pages = { 631-661},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744504}
}

Andreka, Hajnal; Givant, Steven; Nemeti, Istvan. The Lattice of Varieties of Representable Relation Algebras. J. Symbolic Logic, Tome 59 (1994) no. 1, pp.  631-661. http://gdmltest.u-ga.fr/item/1183744504/