Please use this identifier to cite or link to this item:
|Title:||Varieties of two-dimensional cylindric algebras. Part I: Diagonal-free case|
|Citation:||Algebra Universalis, 2002, 48, (1), pp.11-42|
|Abstract:||We investigate the lattice Λ(Df 2) of all subvarieties of the variety Df2 of twodimensional diagonal-free cylindric algebras. We prove that a Df2-algebra is finitely representable iff it is finitely approximable, characterize finite projective Df2-algebras, and show that there are no non-trivial injectives and absolute retracts in Df2. We prove that every proper subvariety of Df2 is locally finite, and hence Df2 is hereditarily finitely approximable. We describe all six critical varieties in Λ(Df 2), which leads to a characterization of finitely generated subvarieties of Df2. Finally, we describe all square representable and rectangularly representable subvarieties of Df2.|
|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.