We present a direct constructive proof of full normality for a class of spaces (locales) that includes, among others, all metrizable ones.
@article{118840, author = {Tom\'a\v s Kaiser}, title = {A sufficient condition of full normality}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {37}, year = {1996}, pages = {381-389}, zbl = {0847.54025}, mrnumber = {1399010}, language = {en}, url = {http://dml.mathdoc.fr/item/118840} }
Kaiser, Tomáš. A sufficient condition of full normality. Commentationes Mathematicae Universitatis Carolinae, Tome 37 (1996) pp. 381-389. http://gdmltest.u-ga.fr/item/118840/
Atomless parts of spaces, Math. Scand. 31 (1972), 5-32. (1972) | MR 0358725 | Zbl 0246.54028
Stone Spaces, Cambridge University Press, Cambridge, 1982. | MR 0698074 | Zbl 0586.54001
General Topology, Van Nostrand, Princeton, 1955. | MR 0070144 | Zbl 0518.54001
Notes on an extension of the structure of frame, Discrete Mathematics 108 (1992), 107-114. (1992) | MR 1189833 | Zbl 0759.06011
Pointless uniformities I. Complete regularity, Comment. Math. Univ. Carolinae 25 (1984), 91-104. (1984) | MR 0749118 | Zbl 0543.54023
Pointless uniformities II. (Dia)metrization, Comment. Math. Univ. Carolinae 25 (1984), 105-120. (1984) | MR 0749119
Remarks on metrizable locales, Proc. 12th Winter School, Suppl. ai Rend. Circ. Mat. Palermo (2) 6 (1984), 247-258. (1984) | MR 0782722 | Zbl 0565.54001
Notes on characterization of paracompact frames, Comment. Math. Univ. Carolinae 30.2 (1989), 377-384. (1989) | MR 1014137
Paracompactness and product spaces, Bull. Amer. Math. Soc. 54 (1948), 977-982. (1948) | MR 0026802 | Zbl 0032.31403
On paracompact locales and metric locales, Comment. Math. Univ. Carolinae 30 (1989), 101-107. (1989) | MR 0995708
Convergence and uniformity in topology, Ann. of Math. Studies 2 (1940). (1940) | MR 0002515 | Zbl 0025.09102