A nonmetrizable manifold \(\diamond ^ +\) (Q1098449): Difference between revisions

Assuming \(\diamond^+\), a perfectly normal 3-dimensional manifold M is constructed with the property that \(M=\cup_{\alpha <\omega_ 1}M_{\alpha}\) where each \(M_{\alpha}\) is an open connected metric subspace of M with \(\overline{\cup_{\beta <\alpha}M_{\beta}}\subsetneqq M_{\alpha}\).