PFA(S)[S] and Locally Compact Normal Spaces

Franklin D. Tall
DOI: https://doi.org/10.48550/arXiv.1104.3471
2011-04-18
General Topology
Abstract:We examine locally compact normal spaces in models of form PFA(S)[S], in particular characterizing paracompact, countably tight ones as those which include no perfect pre-image of omega_1 and in which all separable closed subspaces are Lindelof.
What problem does this paper attempt to address?