Normal Moore spaces in the constructible universe
William G. Fleissner · Proceedings of the American Mathematical Society · 1974
Assuming the axiom of constructibility, points in closed discrete subspaces of certain normal spaces can be simultaneously separated. This is a partial result towards the normal Moore space conjecture.