Normality Versus Paracompactness in Locally Compact Spaces

Abstract

Abstract This note provides a correct proof of the result claimed by the second author that locally compact normal spaces are collectionwise Hausdorff in certain models obtained by forcing with a coherent Souslin tree. A novel feature of the proof is the use of saturation of the non-stationary ideal on ω 1 , as well as of a strong form of Chang's Conjecture. Together with other improvements, this enables the consistent characterization of locally compact hereditarily paracompact spaces as those locally compact, hereditarily normal spaces that do not include a copy of ω 1 .