Two nonmetrizable manifolds (Q920424)

The author showed in 1979 that the existence of separable perfectly normal non-metrizable manifolds is undecidable in ZFC [Houston J. Math. 5, 249-252 (1979; Zbl 0418.03036)]. Here it is shown that a separable normal nonmetrizable manifold exists in ZFC. The other nonmetrizable manifold has been constructed using \(\diamondsuit^+\). It is normal but not collectionwise normal. As was shown by \textit{F. D. Tall} [Handbook of set-theoretic topology, 685-732 (1984; Zbl 0552.54011)], adding weakly compact many random reals, normal implies collectionwise normal in manifolds.