PFA and _1-free compact spaces

DOI10.1007/S10474-021-01197-9zbMATH Open1499.54116arXiv2104.13698OpenAlexW4206996851MaRDI QIDQ2116370FDOQ2116370

Authors: Alan Dow, K. P. Hart 

Publication date: 16 March 2022

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

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

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

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

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)

Cites Work

• Set theory. An introduction to independence proofs
• Analytic quotients: theory of liftings for quotients over analytic ideals on the integers
• On Compact Hausdorff Spaces of Countable Tightness
• Title not available (Why is that?)
• Convergent Free Sequences in Compact Spaces
• Reflecting Lindelöf and converging ω₁-sequences
• A first countable, initially \(\omega _1\)-compact but non-compact space
• Martin's axiom and separated mad families
• Generalized side-conditions and Moore-Mrówka
• Set-theoretic update on topology

Cited In (11)

• PFA and \(\omega\) \(*_ 1\)
• Perfect pre-images of \(\omega _ 1\) and the PFA
• A perfectly normal nonrealcompact space consistent with MA\(_{\aleph_1}\)
• Convergent Free Sequences in Compact Spaces
• Hausdorff first countable, countably compact space is \(\omega\)-bounded
• Nagata's conjecture and countably compact hulls in generic extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Spaces of countable free set number and PFA
• On Strongly Discrete Subsets of ω ∗
• Sequentially Compact, Franklin-Rajagopalan Spaces

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)