\(\omega_1\)-strongly compact cardinals and normality (Q2105035): Difference between revisions

An uncountable cardinal \(\kappa\) is called \(\omega_1\)-strongly compact if every \(\kappa\)-complete filter can be extended to an \(\omega_1\)-complete ultrafilter. The main results in the present paper are: (i) for an \(\omega_1\)-strongly compact cardinal \(\kappa\), all normal Moore spaces are metrizable in a model obtained by adding \(\kappa\)-many random (or \(\kappa^+\)-many Cohen) reals; (ii) if \(\kappa_0\) is the least \(\omega_1\)-strongly compact cardinal, then for every first countable non-normal (resp. non-countably compact) topological space \(X\), there is a subspace \(Y\subseteq X\) of cardinality less than \(\kappa_0\) which is also non-normal (resp. non-countably compact).