Reflecting Lindelöf and converging _1-sequences

DOI10.4064/FM224-3-1MaRDI QIDQ5407564zbMATH OpenOpenAlexFDO

Authors Alan Dow, K. P. Hart

Publication date 7 April 2014

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

compact spaceconverging sequencefirst-countable spaceforcingL-reflectionlindelöfnessproperty Ksmall diagonal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) 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

• PFA and \(\omega_1\)-free compact spaces
• Convergent Free Sequences in Compact Spaces
• scientific article; zbMATH DE number 1789742
• More about spaces with a small diagonal
• Compact sets without converging sequences in the random real model

Cited in

(8)

• PFA and \(\omega_1\)-free compact spaces
• Alan Dow
• scientific article; zbMATH DE number 4044701 (Why is no real title available?)
• Convergent Free Sequences in Compact Spaces
• Elementary chains and compact spaces with a small diagonal
• On the weak pseudoradiality of CSC spaces
• A note on _1-spaces
• Weight, net weight, and elementary submodels

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)