Varieties of two-dimensional cylindric algebras. II (Q2583594)

The paper is a sequel to Part I [ibid. 48, 11--42 (2002; Zbl 1058.03072)], where the basic concepts are introduced and the lattice of all subvarieties of two-dimensional cylindric algebras is investigated. The present paper contains seven sections. Section 1 is an introduction and Section 2 is devoted to the main tool, which is a dual space CS corresponding to the variety CA\({}_2\) of two-dimemnsional cylindric algebras. This duality is used in Section 3 for proving that an algebra \(A\) of CA\({}_2\) is representable iff its dual does not satisfy a certain condition. In Section 4 it is shown that there exists a continuum of varieties between RCA\({}_2\) and CA\({}_2\). In Section 5, the author describes the only pre locally finite subvariety of CA\({}_2\), and locally finite subvarieties of CA\({}_2\) are characterized. In Section 6, he characterizes finitely generated subvarieties of CA\({}_2\) by describing all 15 pre finitely generated subvarieties. The last section gives a rough description of the lattice of subvarieties of CA\({}_2\).