and -free compact spaces
arXiv:2104.13698 · doi:10.1007/s10474-021-01197-9
Abstract
The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging -sequence.
Version 2: various corrections and changes Version 3: some corrections/changes after referee's report; final version