Power set at ℵ_ω: On a theorem of Woodin

2016/01/16 by Mohammad Golshani, Golshani, Mohammad
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO

paper · pdf · doi:10.48550/arxiv.1601.04141

arxiv created 2016/01/16 · arxiv updated 2016/01/19

Abstract

We give Woodin's original proof that if there exists a (κ+2)-strong cardinal κ, then there is a generic extension of the universe in which κ=ℵ_ω, GCH holds below ℵ_ω and 2^ℵ_ω=ℵ_ω+2.

Related

• On a theorem of Magidor
• The Tree Property up to ℵ_ω²
• Adding highly generic subsets of ω₂
• The special Aronszajn tree property at ℵ₂ and GCH
• Blowing up the power of a singular cardinal