Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Omitting the cardinality of the continuum in scattered spaces - MaRDI portal

Omitting the cardinality of the continuum in scattered spaces (Q1263826)

From MaRDI portal





scientific article; zbMATH DE number 4128036
Language Label Description Also known as
English
Omitting the cardinality of the continuum in scattered spaces
scientific article; zbMATH DE number 4128036

    Statements

    Omitting the cardinality of the continuum in scattered spaces (English)
    0 references
    0 references
    0 references
    1989
    0 references
    The main result of the paper is the construction of a model of set theory in which there is a Lindelöf space of cardinality \(\geq \nvDash^{\omega}\) which has neither closed nor Lindelöf subspaces of cardinality \(\nvDash^{\omega}.\) The construction is as follows: first \(\omega\) \(\nvDash\) Cohen subsets of \(\omega_{\nvDash}\) are added, with countable conditions, to a model of GCH. Then, in an Ostaszewski-type construction, the topology of the subspace of \(\nvDash^{\omega}\nvDash\) consisting of these subsets is refined to a scattered Lindelöf topology which omits \(\omega\) \(\nvDash\). Finally, \(\nvDash^{\omega}\) is made equal to \(\omega\) \(\nvDash\) using Cohen forcing; the important properties of the space are preserved under this forcing. The authors add some remarks and examples concerning the preservation of various topological properties under forcing.
    0 references
    scattered spaces
    0 references
    omitting cardinals
    0 references
    forcing
    0 references
    Lindelöf space
    0 references
    Cohen subsets
    0 references
    Cohen forcing
    0 references
    preservation of various topological properties under forcing
    0 references
    0 references

    Identifiers