CH and first countable, countably compact spaces

DOI10.1016/S0166-8641(99)00126-1MaRDI QIDQ1841979zbMATH OpenWikidataFDO

Authors Todd Eisworth

Publication date 9 January 2002

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0166-8641(99)00126-1

zbMATH Keywords

forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Consistency and independence results in general topology (54A35)

Review text

This interesting paper is a follow-up and improvement of an earlier paper of the author and \textit{J. Roitman} [Trans. Am. Math. Soc. 351, No. 7, 2675-2693 (1999; Zbl 0921.54004)]. The main result of the paper is to establish the consistency with CH that first countable countably compact spaces are compact if they do not contain an uncountable free sequence. Free sequences arose in the study of countable tightness and a compact space has countable tightness exactly when it has no uncountable free sequences. The main technique is to establish that for a given potential counterexample, there is a poset which forces there to be a free sequence. The challenge is to show that the poset satisfies the iterable condition of being 2-complete, an innovation in the above mentioned paper. It is similar to, and improves upon, the \({\mathbb D}\)-completeness condition from Shelah's proper forcing book.

Recommendations

• First countable, countably compact spaces and the continuum hypothesis
• scientific article; zbMATH DE number 1337831
• The generalizations of first countable spaces
• First countable pseudocompactifications
• Countably I-compact spaces
• scientific article; zbMATH DE number 3895893
• First-countability, -Rudin spaces and well-filtered determined spaces
• First countable extensions of regular spaces
• scientific article; zbMATH DE number 1380969
• First countability, \( \omega \)-well-filtered spaces and reflections

Cites work

• CH with no Ostaszewski spaces
• Countably Compact Spaces and Martin's Axiom
• Discrete Subsets of Perfectly Normal Spaces
• scientific article; zbMATH DE number 3152563 (Why is no real title available?)
• scientific article; zbMATH DE number 3753642 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 47630 (Why is no real title available?)
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• scientific article; zbMATH DE number 797413 (Why is no real title available?)
• scientific article; zbMATH DE number 3355913 (Why is no real title available?)
• On Countably Compact, Perfectly Normal Spaces
• On hereditarily α-Lindelöf and α-separable spaces, II
• Products of Perfectly Normal, Sequentially Compact Spaces
• Proper forcing
• Two More Hereditarily Separable Non-Lindelöf Spaces

Cited in

(15)

• Open problems in topology.
• Gently killing \(S\)-spaces
• On perfect pre-images of \(\omega _{1}\)
• PFA and \(\omega_1\)-free compact spaces
• Understanding preservation theorems: Chapter VI of \textit{Proper and improper forcing}. I
• On First Countable, Countably Compact Spaces. I: (ω 1 , ω ∗ 1 )-Gaps
• Antidiamond principles and topological applications
• scientific article; zbMATH DE number 3909306 (Why is no real title available?)
• Convergent Free Sequences in Compact Spaces
• Powers of countable Fréchet spaces
• Notes on linearly H-closed spaces and od-selection principles
• First countable, countably compact spaces and the continuum hypothesis
• Open problems in topology, seventh status report
• Countable compactness, hereditary \(\pi\)-character, and the continuum hypothesis
• CH and the Moore-Mrowka problem

This page was built for publication: CH and first countable, countably compact spaces

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