Cohen Forcing and Inner Models
Logic
2019-08-27 v2
Abstract
Given an inner model and a regular cardinal , we consider two alternatives for adding a subset to by forcing: the Cohen poset , and the Cohen poset of the inner model . The forcing from will be at least as strong as the forcing from (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 to fail to be as strong as that from . The results are generalized to , 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}
}