PFA(S)[S] and Locally Compact Normal Spaces
arXiv:1104.3471
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.