$\mathsf{PFA}$ and $\omega_1$-free compact spaces

Abstract

The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $\omega_1$-sequence.