Namba Forcing
Namba forcing (after Kanji Namba) is used to change the cofinality of ω2 to ω without collapsing ω1.
- P is the set of perfect trees in the set of finite sequences of ordinals less than ω2. P is ordered by inclusion.
Read more about this topic: List Of Forcing Notions
Famous quotes containing the word forcing:
“It is quite true, as some poets said, that the God who created man must have had a sinister sense of humor, creating him a reasonable being, yet forcing him to take this ridiculous posture, and driving him with blind craving for this ridiculous performance.”
—D.H. (David Herbert)