A hereditarily normal square

From MaRDI portal





A. Ostaszewski used \(\diamondsuit\) to construct a countably compact perfectly normal noncompact space. The author modifies this construction to obtain a space which, in addition, has a hereditarily normal square. Since countably compact spaces with a hereditarily normal square are perfectly normal, it follows that the existence of countably compact noncompact spaces with a hereditarily normal square is independent of the axioms of ZFC.











This page was built for publication: A hereditarily normal square

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1317033)