Filling the gaps in an unpublished example of Nyikos: a countably compact non-compact manifold under ${♣}_C$

Mathieu Baillif

We provide details for a Theorem which is only available on a unfinished preliminary draft of P. Nyikos: the existence under ${♣}_C$ of a hereditarily collectionwise normal c…