and locally compact normal spaces

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 ω 1 and in which all separable closed subspaces are Lindelöf.