_1-strongly compact cardinals and normality

From MaRDI portal
Publication:2105035





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).











This page was built for publication: \(\omega_1\)-strongly compact cardinals and normality

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