Skip to main content
Article thumbnail
Location of Repository

Varieties of two-dimensional cylindric algebras. Part I: Diagonal-free case

By Nick Bezhanishvili

Abstract

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

Year: 2002
DOI identifier: 10.1007/s00012-002-8203-2
OAI identifier: oai:lra.le.ac.uk:2381/1805
Journal:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/2381/180... (external link)
  • http://link.springer.com/artic... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.