Journal of Symbolic Logic

The Lattice of Varieties of Representable Relation Algebras

Hajnal Andreka, Steven Givant, and Istvan Nemeti

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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.

Article information

Source
J. Symbolic Logic, Volume 59, Issue 2 (1994), 631-661.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183744504

Mathematical Reviews number (MathSciNet)
MR1276639

Zentralblatt MATH identifier
0815.03039

JSTOR
links.jstor.org

Subjects
Primary: 03G15: Cylindric and polyadic algebras; relation algebras
Secondary: 08B15: Lattices of varieties

Citation

Andreka, Hajnal; Givant, Steven; Nemeti, Istvan. The Lattice of Varieties of Representable Relation Algebras. J. Symbolic Logic 59 (1994), no. 2, 631--661. https://projecteuclid.org/euclid.jsl/1183744504


Export citation