\(\omega_1\)-strongly compact cardinals and normality (Q2105035)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(\omega_1\)-strongly compact cardinals and normality |
scientific article |
Statements
\(\omega_1\)-strongly compact cardinals and normality (English)
0 references
8 December 2022
0 references
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).
0 references
\( \omega_1\)-strongly compact cardinals
0 references
normality
0 references
normal Moore space conjecture
0 references
compactness of normality
0 references
compactness of topological properties related to normality
0 references
0 references