A consistency result on thin-very tall Boolean algebras (Q5939286)

A Boolean algebra is superatomic if every subalgebra is atomic. One associates a sequence of ideals \(I_0,I_1,\ldots\); \(I_0=\{0\}\), \(I_{\alpha+1}=\{a:a/I_\alpha\) is an atom\(\}\), \(I_\lambda=\bigcup_{\alpha<\lambda}I_\alpha\) for \(\lambda\) limit. The height of a superatomic Boolean algebra \(A\) is the least ordinal \(\alpha\) such that \(A/I_\alpha\) is finite. The \(\alpha\)-width of \(A\) is the cardinality of the set of atoms of \(A/I_\alpha\), and the width of \(A\) is the supremum of the \(\alpha\)-widths. Now the abstract can be understood: ``It was proved by Baumgartner and Shelah that \(\text{Con(ZFC)} \rightarrow \text{Con(ZFC)} + \)`there is a superatomic Boolean algebra of width \(\omega\) and height \(\omega_2\)'. In this paper we improve Baumgartner-Shelah's theorem, showing that \(\text{Con(ZFC)}\rightarrow \text{Con(ZFC} + \) `for every \(\alpha<\omega_3\) there is a superatomic Boolean algebra of width \(\omega\) and height \(\alpha\)')''.