Two consistency results concerning thin-tall Boolean algebras (Q1061739): Difference between revisions

A superatomic BA is one with all quotients atomic. Given such a BA A, let \(A=A_ 0,A_ 1,...,A_{\alpha}\), \(A_{\alpha}=\{0\}\), be the sequence obtained by successively dividing by the ideal of atoms, doing the natural thing at limit steps. Then \(\alpha +1\) is the height of A, and the width of A is the supremum of the cardinality of the atoms of \(A_{\beta}\), \(\beta\leq \alpha\). The result proved is: \(Con(ZFC+\neg CH\) \(+\) there is no superatomic BA of height \(\omega_ 2+1\) and width \(\omega\), and also no superatomic BA \(A\subseteq P_{\omega}\) such that height(A)\(\geq \omega_ 1+1\), \(A_{\beta}\) has \(\leq \omega_ 1\) atoms for \(\beta <\omega_ 1\), while \(A_{\omega_ 1}\) has \(\omega_ 2\) atoms). The forcing is Cohen forcing for adding \(\omega_ 2\) reals to a model of CH \(+\) ''There is a Kurepa tree''.