Forcing closed unbounded subsets of \(\omega_2\) (Q5946046)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1658152
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8665294051170349
0 references
0.8242637515068054
0 references
0.7835599184036255
0 references
0.7829652428627014
0 references
