Abstract
The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging \(\omega_1\)-sequence.
Similar content being viewed by others
References
Zoltán T. Balogh, On compact Hausdorff spaces of countable tightness, Proc. Amer. Math. Soc., 105 (1989), 755–764.
Alan Dow, An introduction to applications of elementary submodels to topology, Topology Proc., 13 (1988), 17–72.
Alan Dow, Set-theoretic update on topology, in: Recent Progress in General Topology. III, Atlantis Press (Paris, 2014), pp. 329–357.
Alan Dow, Generalized side-conditions and Moore–Mrówka, Topology Appl., 197 (2016), 75–101.
Alan Dow and Klaas Pieter Hart, Reflecting Lindelöf and converging \(\omega_1\)-sequences, Fund. Math., 224 (2014), 205–218.
Alan Dow and Saharon Shelah, Martin’s axiom and separated mad families, Rend. Circ. Mat. Palermo (2), 61 (2012), 107–115.
Ilijas Farah, Analytic quotients: theory of liftings for quotients over analytic ideals on the integers, Mem. Amer. Math. Soc., 148 (2000), 177 pp.
István Juhász, Piotr Koszmider, and Lajos Soukup, A first countable, initially \(\omega_1\)- compact but non-compact space, Topology Appl., 156 (2009), 1863–1879.
István Juhász and Zoltán Szentmiklóssy, Convergent free sequences in compact spaces, Proc. Amer. Math. Soc., 116 (1992), 1153–1160.
Kenneth Kunen, Set Theory. An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co. (Amsterdam, 1980).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Dow, A., Hart, K.P. PFA and \(\omega_1\)-free compact spaces. Acta Math. Hungar. 166, 57–64 (2022). https://doi.org/10.1007/s10474-021-01197-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10474-021-01197-9