Reflecting Lindelöf and converging ω1-sequences

DOI10.4064/FM224-3-1zbMATH Open1297.54050arXiv1211.2764OpenAlexW2119694624MaRDI QIDQ5407564FDOQ5407564

Alan Dow, K. P. Hart

Publication date: 7 April 2014

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1211.2764

zbMATH Keywords

forcingcompact spacefirst-countable spacesmall diagonalconverging sequenceproperty KlindelöfnessL-reflection

Mathematics Subject Classification ID

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)

Cited In (4)

• On the weak pseudoradiality of CSC spaces
• PFA and \(\omega_1\)-free compact spaces
• Convergent Free Sequences in Compact Spaces
• Alan Dow

This page was built for publication: Reflecting Lindelöf and converging ω₁-sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5407564)