Wide scattered spaces and morasses (Q629729)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Wide scattered spaces and morasses
scientific article

    Statements

    Wide scattered spaces and morasses (English)
    0 references
    0 references
    9 March 2011
    0 references
    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\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    scattered space
    0 references
    Cantor-Bendixson sequence
    0 references
    cardinal sequence
    0 references
    consistency result
    0 references
    morass
    0 references
    0 references
    0 references