Forcing closed unbounded subsets of \(\omega_2\) (Q5946046)
From MaRDI portal
scientific article; zbMATH DE number 1658152
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Forcing closed unbounded subsets of \(\omega_2\) |
scientific article; zbMATH DE number 1658152 |
Statements
Forcing closed unbounded subsets of \(\omega_2\) (English)
0 references
14 July 2002
0 references
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.\)
0 references
stationary set
0 references
closed unbounded set
0 references
tree
0 references
partition
0 references
forcing
0 references
class forcing
0 references
morass
0 references
coding the universe
0 references
