Fodor-type Reflection Principle and reflection of metrizability and meta-Lindelِfness

We introduce a new reflection principle which we call “Fodor-type Reflection Principle” (FRP). This principle follows from but is strictly weaker than Fleissnerʹs Axiom R. For instance, FRP does not impose any restriction on the size of the continuum, while Axiom R implies that the continuum has size ⩽ ℵ 2 . w that FRP implies that every locally separable countably tight topological space X is meta-Lindelöf if all of its subspaces of cardinality ⩽ ℵ 1 are (Theorem 4.3). It follows that, under FRP, every locally (countably) compact space is metrizable if all of its subspaces of cardinality ⩽ ℵ 1 are (Corollary 4.4). This improves a result of Balogh who proved the same assertion under Axiom R. o give several other results in this vein, some in ZFC, others in some further extension of ZFC. For example, we prove in ZFC that 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 (Corollary 5.2).