English

Cohen Forcing and Inner Models

Logic 2019-08-27 v2

Abstract

Given an inner model WVW \subset V and a regular cardinal κ\kappa, we consider two alternatives for adding a subset to κ\kappa by forcing: the Cohen poset Add(κ,1)Add(\kappa,1), and the Cohen poset of the inner model Add(κ,1)WAdd(\kappa,1)^W. The forcing from WW will be at least as strong as the forcing from VV (in the sense that forcing with the former adds a generic for the latter) if and only if the two posets have the same cardinality. On the other hand, a sufficient condition is established for the poset from VV to fail to be as strong as that from WW. The results are generalized to Add(κ,λ)Add(\kappa,\lambda), and to iterations of Cohen forcing where the poset at each stage comes from an arbitrary intermediate inner model.

Keywords

Cite

@article{arxiv.1809.10092,
  title  = {Cohen Forcing and Inner Models},
  author = {Jonas Reitz},
  journal= {arXiv preprint arXiv:1809.10092},
  year   = {2019}
}
R2 v1 2026-06-23T04:19:21.546Z