$\mathsf{PFA}$ and $\omega_1$-free compact spaces
General Topology
2022-01-25 v3 Logic
Abstract
The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging -sequence.
Keywords
Cite
@article{arxiv.2104.13698,
title = {$\mathsf{PFA}$ and $\omega_1$-free compact spaces},
author = {Alan Dow and Klaas Pieter Hart},
journal= {arXiv preprint arXiv:2104.13698},
year = {2022}
}
Comments
Version 2: various corrections and changes Version 3: some corrections/changes after referee's report; final version