We investigate the lattice Λ(Df 2) of all subvarieties of the variety Df2 of twodimensional\ud diagonal-free cylindric algebras. We prove that a Df2-algebra is finitely representable\ud iff it is finitely approximable, characterize finite projective Df2-algebras, and show\ud that there are no non-trivial injectives and absolute retracts in Df2. We prove that every\ud proper subvariety of Df2 is locally finite, and hence Df2 is hereditarily finitely approximable.\ud We describe all six critical varieties in Λ(Df 2), which leads to a characterization\ud of finitely generated subvarieties of Df2. Finally, we describe all square representable and\ud rectangularly representable subvarieties of Df2
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.