Continuing horrors of topology without choice

Various topological results are examined in models of Zermelo-Fraenkel set theory that do not satisfy the Axiom of Choice. In particular, it is shown that the proof of Urysohnʹs Metrization Theorem is entirely effective, whilst recalling that some choice is required for Urysohnʹs Lemma. R is paracompact and ω1 may be paracompact but never metrizable. An example of a nonmetrizable paracompact manifold is given. Suslin lines, normality of LOTS and consequences of Countable Choice are also discussed.