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
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
scattered space
0 references
Cantor-Bendixson sequence
0 references
cardinal sequence
0 references
consistency result
0 references
morass
0 references