PFA and _1-free compact spaces

DOI10.1007/S10474-021-01197-9MaRDI QIDQ2116370zbMATH OpenOpenAlexFDO

Authors Alan Dow, K. P. Hart

Publication date 16 March 2022

Published in Acta Mathematica Hungarica (Search for Journal in Brave)

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

zbMATH Keywords

convergencecompactPFAfirst-countable\(\omega_1\)-sequence

Mathematics Subject Classification ID

Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Consistency and independence results (03E35) Consistency and independence results in general topology (54A35) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Compactness (54D30) Continuum hypothesis and Martin's axiom (03E50) Generic absoluteness and forcing axioms (03E57)

Abstract: The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $omeg{a}_1$-sequence.

Recommendations

• scientific article; zbMATH DE number 3909306
• scientific article; zbMATH DE number 4056541
• CH and first countable, countably compact spaces
• A first countable, initially \(\omega _1\)-compact but non-compact space
• On Compact Hausdorff Spaces of Countable Tightness
• Generalized side-conditions and Moore-Mrówka
• On the consistency of the Moore-Mrówka solution
• Totally proper forcing and the Moore–Mrówka problem
• Some results on gaps
• An example of a countably compact separable space that is not a compact Hausdorff space

Cites work

• scientific article; zbMATH DE number 4139731 (Why is no real title available?)
• A first countable, initially \(\omega _1\)-compact but non-compact space
• Analytic quotients: theory of liftings for quotients over analytic ideals on the integers
• Convergent Free Sequences in Compact Spaces
• Generalized side-conditions and Moore-Mrówka
• Martin's axiom and separated mad families
• On Compact Hausdorff Spaces of Countable Tightness
• Reflecting Lindelöf and converging \(\omega _{1}\)-sequences
• Set theory. An introduction to independence proofs
• Set-theoretic update on topology

Cited in

(14)

• Nagata's conjecture and countably compact hulls in generic extensions
• scientific article; zbMATH DE number 528941 (Why is no real title available?)
• Hausdorff first countable, countably compact space is \(\omega\)-bounded
• Forbidden rectangles in compacta
• A perfectly normal nonrealcompact space consistent with MA\(_{\aleph_1}\)
• On PCF spaces which are not Fréchet-Urysohn
• Spaces of countable free set number and PFA
• Sequentially Compact, Franklin-Rajagopalan Spaces
• scientific article; zbMATH DE number 709721 (Why is no real title available?)
• On Strongly Discrete Subsets of ω ∗
• PFA and \(\omega\) \(*_ 1\)
• Convergent Free Sequences in Compact Spaces
• Perfect pre-images of \(\omega _ 1\) and the PFA
• Reflecting Lindelöf and converging \(\omega _{1}\)-sequences

This page was built for publication: PFA and \(\omega_1\)-free compact spaces

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