Please use this identifier to cite or link to this item:
Title: Varieties of two-dimensional cylindric algebras II
Authors: Bezhanishvili, N.
First Published: 2004
Citation: Algebra Universalis, 2004, 51, (2-3), pp.177-206
Abstract: In [2] we investigated the lattice ⋀(Df 2) of all subvarieties of the variety Df 2 of two-dimensional diagonal free cylindric algebras. In the present paper we investigate the lattice ⋀(CA 2) of all subvarieties of the variety CA 2 of two-dimensional cylindric algebras. We prove that the cardinality of ⋀(CA 2) is that of the continuum, give a criterion for a subvariety of CA 2 to be locally finite, and describe the only pre locally nite subvariety of CA2. We also characterize nitely generated subvarieties of CA2 by describing all fteen pre nitely generated subvarieties of CA 2. Finally, we give a rough picture of ⋀(CA 2), and investigate algebraic properties preserved and reected by the reduct functors F:CA2andΦ:Λ(CA2)→(Λ(Df2).
DOI Link: 10.1007/s00012-004-1856-2
ISSN: 0002-5240
Type: Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.