Abstract.
In [2] we investigated the lattice ⋀(Df2) of all subvarieties of the variety Df2 of two-dimensional diagonal free cylindric algebras. In the present paper we investigate the lattice ⋀(CA2) of all subvarieties of the variety CA2 of two-dimensional cylindric algebras. We prove that the cardinality of ⋀(CA2) is that of the continuum, give a criterion for a subvariety of CA2 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 CA2. Finally, we give a rough picture of ⋀(CA2), and investigate algebraic properties preserved and reected by the reduct functors \( \mathbb{F}: \mathbf{CA}_2 and \Phi : \Lambda (\mathbf{CA}_2) \rightarrow (\Lambda (\mathbf{Df}_2) \).
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bezhanishvili, N. Varieties of two-dimensional cylindric algebras II. Algebra univers. 51, 177–206 (2004). https://doi.org/10.1007/s00012-004-1856-2
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s00012-004-1856-2