P. J. Nyikos has asked whether it is consistent that every hereditarily normal manifold of dimension greater than one is metrizable, and he proved that it is if one assumes… Click to show full abstract
P. J. Nyikos has asked whether it is consistent that every hereditarily normal manifold of dimension greater than one is metrizable, and he proved that it is if one assumes the consistency of a supercompact cardinal, and, in addition, that the manifolds are hereditarily collectionwise Hausdorff. We are able to omit these extra assumptions.
               
Click one of the above tabs to view related content.