PP200010: Bezhanishvili, Nick (2000) Varieties of TwoDimensional DiagonalFree Cylindric Algebras. Part I. [Report]

Text (Full Text (PDF))
PP200010.text.pdf Download (276kB)  Preview 

Text (Full Text (PS))
PP200010.text.ps.gz Download (288kB) 

Text (Abstract)
PP200010.abstract.txt Download (1kB) 
Abstract
This is the first part of the whole work which will consist of two parts and intends to obtain a clear picture of the lattice $\Lambda({\bf Df}_2)$ of all subvarieties of the variety {\bf Df}$_2$ of the twodimensional diagonalfree cylindric algebras. Here we show that every proper subvariety of {\bf Df}$_2$ is locally finite, and hence {\bf Df}$_2$ is hereditarily finitely approximable. Moreover, we prove that there exist exactly six critical varieties in $\Lambda({\bf Df}_2)$, and characterize finite subvarieties of {\bf Df}$_2$. It is also shown that a variety ${\bf V}\in\Lambda({\bf Df}_2)$ is representable by its square algebras iff either ${\bf V}={\bf Df}_2$ or {\bf V} is a finite variety, and give a necessary and sufficient condition for a finite variety to be representable. Representable varieties by their rectangular algebras are also described. The complexity of $\Lambda({\bf Df}_2)$ will be investigated in Part II. Keyword(s): Cylindric Algebra Theory
Item Type:  Report 

Report Nr:  PP200010 
Series Name:  Prepublication (PP) Series 
Year:  2000 
Date Deposited:  12 Oct 2016 14:36 
Last Modified:  12 Oct 2016 14:36 
URI:  https://eprints.illc.uva.nl/id/eprint/37 
Actions (login required)
View Item 