Loading...
Please wait, while we are loading the content...
Similar Documents
Varieties of two-dimensional cylindric algebras.¶Part I: Diagonal-free case
| Content Provider | Semantic Scholar |
|---|---|
| Author | Bezhanishvili, Nick |
| Copyright Year | 2002 |
| Abstract | Abstract. We investigate the lattice $ \Lambda (\textbf{Df}_2) $ of all subvarieties of the variety Df2 of two-dimensional diagonal-free cylindric algebras. We prove that a Df2-algebra is finitely representable if 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 $ \Lambda (\textbf{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. |
| Starting Page | 11 |
| Ending Page | 42 |
| Page Count | 32 |
| File Format | PDF HTM / HTML |
| DOI | 10.1007/s00012-002-8203-2 |
| Volume Number | 48 |
| Alternate Webpage(s) | http://www.illc.uva.nl/Publications/PP-2000-10.text.pdf |
| Alternate Webpage(s) | http://www.illc.uva.nl/Research/Publications/Reports/PP-2000-10.text.pdf |
| Alternate Webpage(s) | http://www.illc.uva.nl/Research/Reports/PP-2000-10.text.pdf |
| Alternate Webpage(s) | http://www.illc.uva.nl/Publications/ResearchReports/PP-2000-10.text.pdf |
| Alternate Webpage(s) | http://www.illc.uva.nl/Publications/ResearchReports/PP-2000-10.text.ps.gz |
| Alternate Webpage(s) | http://www.cs.le.ac.uk/people/nb118/Publications/Df2PartI.pdf |
| Alternate Webpage(s) | http://www.science.uva.nl/pub/theory/illc/ResearchReports/PP-2000-10.text.pdf |
| Alternate Webpage(s) | https://doi.org/10.1007/s00012-002-8203-2 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
