Reflecting Lindelöf and converging _1-sequences
From MaRDI portal
Publication:5407564
forcingcompact spacefirst-countable spacesmall diagonalconverging sequenceproperty KlindelöfnessL-reflection
Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Consistency and independence results (03E35) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Consistency and independence results in general topology (54A35) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Compactness (54D30)
Abstract: We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging omega-sequence or a non-trivial converging omega_1-sequence. We establish that this dichotomy holds in a variety of models; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of property K posets. In fact in these models every compact Hausdorff space without non-trivial converging omega_1-sequences is first-countable and, in addition, has many aleph_1-sized Lindel"of subspaces. As a corollary we find that in these models all compact Hausdorff spaces with a small diagonal are metrizable.
Recommendations
Cited in
(7)
This page was built for publication: Reflecting Lindelöf and converging \(\omega _{1}\)-sequences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5407564)