PFA(S)[S] and countably compact spaces
classification
🧮 math.LO
keywords
compactcountablyspacesassertionscardinalsconcerningconsistencyevery
read the original 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".
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.