English

Power set at $\aleph_\omega$: On a theorem of Woodin

Logic 2016-01-19 v1

Abstract

We give Woodin's original proof that if there exists a (κ+2)(\kappa+2)-strong cardinal κ,\kappa, then there is a generic extension of the universe in which κ=ω,\kappa=\aleph_\omega, GCHGCH holds below ω\aleph_\omega and 2ω=ω+2.2^{\aleph_\omega}=\aleph_{\omega+2}.

Keywords

Cite

@article{arxiv.1601.04141,
  title  = {Power set at $\aleph_\omega$: On a theorem of Woodin},
  author = {Mohammad Golshani},
  journal= {arXiv preprint arXiv:1601.04141},
  year   = {2016}
}