摘要: For certain sets F ⊂ (ω1)ω 1, a characterization is given of when there an extension the ground model (i.e., forcing or actual extension, which ω1-preserving) containing h dominates each f ∈ mod finite. If exists such in some then one fact canonical one.