PFA(S)[S] and countably compact spaces
Logic
2016-07-18 v1
Abstract
We show a number of undecidable assertions concerning countably compact spaces hold under PFA(S)[S]. We also show the consistency without large cardinals of "every locally compact, perfectly normal space is paracompact".
Keywords
Cite
@article{arxiv.1607.04368,
title = {PFA(S)[S] and countably compact spaces},
author = {Alan Dow and Franklin D. Tall},
journal= {arXiv preprint arXiv:1607.04368},
year = {2016}
}