The number of finitely generated infinite cylindric set algebras of dimension two (Q761449): Difference between revisions

The paper considers a natural class of elementary set-theoretical objects: Boolean set algebras of subsets of some cartesian product \(U\times V\) closed under the additional operations \(C_ 0\), \(C_ 1\) of cylindrification (e.g., \(C_ 1X=\{(u,v):\) (u,x)\(\in X\) for some \(x\})\). The main theorem, proved by elementary infinite combinatorics, is that there are exactly seven isomorphism types of one-generated algebras of this kind.