A strongly hereditarily separable, nonmetrisable manifold (Q690261)

Answering a question of Arkhangel'skij raised at a Topology Conference in New York in June 1990, the author constructs a non-metrisable manifold all of whose finite powers are hereditarily separable. The construction requires the Continuum Hypothesis. \textit{K. Kunen} [Set-theor. Topol., Vol. dedic. to M. K. Moore, 265-268 (1977; Zbl 0372.54014)], showed that such examples cannot exist under Martin's Axiom and the negation of the Continuum Hypothesis.