Abstract:We present a direct constructive proof of full normality for a class of spaces (locales) that includes, among others, all metrizable ones.
Keywords: paracompactness (full normality), uniform locales, metrizability
AMS Subject Classification: 54D20, 54E15, 06D10