Compactness-like properties and nonnormality of the space of nonstationary ultrafilters (Q689592)

This is a posthumous paper by the late Eric van Douwen which appears about 15 years after he first discovered the main result. In this interesting and clever paper, the author answers several questions raised by the reviewer by proving the following in ZFC: For every regular infinite cardinal \(\kappa\) there exists a strongly \(\kappa\)-compact space which is not \(\kappa\)-bounded. Recall that a space is called \(\kappa\)- bounded provided every subset of cardinality at most \(\kappa\) has compact closure, and is called strongly \(\kappa\)-compact provided every filter base (i.e., centered collection) of at most cardinality \(\kappa\) traces on a compact set. The spaces which are used in the theorem are subset of \(\beta \kappa\), where the cardinal \(\kappa\) has the discrete topology, and have the form \(\bigcup\{\bar I:I\in{\mathcal I}\}\) where the closure is taken in \(\beta \kappa\), and \({\mathcal I}\) is a normal ideal on \(\kappa\) (the ideal of all nonstationary subsets of \(\kappa\) is the normal ideal that the author had in mind the first time he proved the theorem). He also proves (assuming \(2^ \kappa=\kappa^ +)\) that \(\bigcup\{\bar I:I\in{\mathcal I}\}\) is not a normal space. The proof of this latter result is especially ingenious.