English

A Version of $\kappa$-Miller Forcing

Logic 2019-03-06 v3

Abstract

Let κ\kappa be an uncountable cardinal such that 2<κ=κ2^{<\kappa} = \kappa or just cf(κ)>ω{\rm cf}(\kappa) > \omega, 22<κ=2κ2^{2^{<\kappa}}= 2^\kappa, and ([κ]κ,)([\kappa]^\kappa, \supseteq) collapses 2κ2^\kappa to ω\omega. We show under these assumptions the κ\kappa-Miller forcing with club many splitting nodes collapses 2κ2^\kappa to ω\omega and adds a κ\kappa-Cohen real.

Keywords

Cite

@article{arxiv.1802.07986,
  title  = {A Version of $\kappa$-Miller Forcing},
  author = {Heike Mildenberger and Saharon Shelah},
  journal= {arXiv preprint arXiv:1802.07986},
  year   = {2019}
}
R2 v1 2026-06-23T00:29:55.096Z