PFA(S)[S] 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 omega_1 and in which all separable closed subspaces are Lindelof. 
Franklin D. Tall
math.GN math.LO