Wide scattered spaces and morasses (Q629729): Difference between revisions

As usual, a space \(X\) is scattered if each of its nonempty subspaces has an isolated point. For such \(X\) one writes \(I_0(X)=X\), and then recursively for ordinals \(\alpha\): \(I_{\alpha+1}(X)=I_\alpha(X)\backslash\{x\in I_\alpha(X):x\) is isolated in \(I_\alpha(X)\}\), and \(I_\alpha(X)=\bigcap_{\beta<\alpha}\,I_\beta(X)\) for limit ordinals \(\alpha\). The reduced height of \(X\), denoted \({\text{ht}}^-(X)\), is the least ordinal \(\alpha\) such that \(|I_\alpha(X)|<\omega\); and SEQ\((X)\), the Cantor-Bendixson sequence of cardinals associated with \(X\), is the sequence \(\{|I_\alpha(X)|:\alpha<{\text{ht}}^-(X)\}\). As the author's discussions and bibliography show, the issue of which cardinal sequences arise as SEQ\((X)\) (for some scattered space \(X\)) has been much studied, for example by Baumgartner and Shelah, by Bagaria, and by the author himself (sometimes with J.~C.~Martinez). Now in the present paper the author generalizes and extends several of the results available heretofore, with this theorem: If GCH holds and \(\lambda\geq\omega_2\) is a regular cardinal, then there is a cardinal-preserving generic extension in which \(2^\omega=\lambda\) and every \(\omega_2\)-sequence \(\langle s_\alpha:\alpha<\omega_2\rangle\) with each \(s_\alpha\leq\lambda\) is SEQ\((X)\) for some locally compact scattered space \(X\).