Forcing closed unbounded subsets of \(\omega_2\) (Q5946046): Difference between revisions

The author shows that there is no satisfactory first-order characterization of subsets of \(\omega_2\) that have closed unbounded subsets in \(\omega_1\) and \(\omega_2\) and GCH-preserving outermodels. The author shows that this ``anti-characterization'' result extends to subsets of successors of regular uncountable cardinals. Similar results are proved for trees of height and cardinality \(\kappa^+\) and partions of \([\kappa^+]^2.\)