Fodor-type reflection principle and reflection of metrizability and meta-Lindelöfness

Consistency and independence results (03E35) Other set-theoretic hypotheses and axioms (03E65) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Local compactness, (sigma)-compactness (54D45) Metric spaces, metrizability (54E35)

Review text

The authors introduce a new reflection principle, called Fodor-type reflection principle (FRP): Let \(\kappa\) be a cardinal of cofinality \(\geq \omega_1\). For any stationary \(S\subseteq E^\kappa_\omega\) and mapping \(g: S\to |\kappa|^{\leq\aleph_0}\), there is \(I\in|\kappa|^{\aleph_1}\) such that cf\((I)= \omega_1\); \(g(\alpha)\subseteq I\) for all \(\alpha\in I\cap S\) and for any regression \(f: I\cap S\to\kappa\) such that \(f(\alpha)\in g(\alpha)\) for all \(\alpha\in I\cap S\), there is \(\xi^*<\kappa\) such that \(f^{-1}\{\xi^*\}\) is stationary in \(\sup(I)\). This principle is strictly weaker than Fleissner's Axiom R. The authors prove that ``FRP implies that every locally separable countably tight topological space is meta-Lindelöf if all of its subspaces of cardinality \(\leq\aleph_1\) are. It follows that, under FRP, every locally (countably) compact space is metrizable if all of its subspaces of cardinality \(\leq\aleph_1\) are. This improves a result of Balogh, who proved the same assertion under Axiom R. Other results in the same vein are proved in this paper, for example, it is proved that in ZFC, if \(X\) is a locally (countably) compact space of singular cardinality in which every subspace of smaller size is metrizable then \(X\) itself is also metrizable.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Fodor-type reflection principle and reflection of metrizability and meta-Lindelöfness

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