  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.

General Topology;Logic