A very thin thick superatomic Boolean algebra (Q1080446): Difference between revisions

The cardinal sequence of a BA A is formed as follows: \(I_ 0=\{0\}\), \(I_{\alpha}=\cup_{\beta <\alpha}I_{\beta}\). For \(\alpha\) limit, \(I_{\alpha +1}=(I_{\alpha}\cup \{x:\) \(x/I_{\alpha}\) is an atom of \(A/I_{\alpha}\})\). A superatomic ideal generated by BA is one in which \(I_{\alpha}=A\) for some \(\alpha\). The least such is ht A. For each \(\alpha <ht A\), \(\kappa_{\alpha}\) is the number of atoms of \(A/I_{\alpha}\). The paper proves the consistency of the existence of a superatomic BA A with ht A\(=\omega_ 2\) and \(\kappa_{\alpha}=\omega\) for all \(\alpha <\omega_ 2\).