most recent 30 from http://mathoverflow.net 2013-05-25T02:53:42Z http://mathoverflow.net/feeds/question/120546 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/120546/can-a-model-of-set-theory-be-realized-as-a-cohen-subset-forcing-extension-in-two Joel David Hamkins 2013-02-01T20:43:45Z 2013-02-01T20:57:11Z

<p>The question is whether, when you add a Cohen subset to a cardinal $\kappa$, that cardinal becomes a characteristic of the resulting forcing extension $V[G]$. Or can there be strange instances in which the very same model is realized as a Cohen subset forcing extension over different ground models with different cardinals?</p> <p>To be precise, can it happen that $M[G]=N[H]$, where $M$ and $N$ are transitive models of ZFC and $G$ is $M$-generic for the forcing to add a Cohen subset to some cardinal $\kappa$, that is, using $\text{Add}(\kappa,1)^M$, and $H$ is similarly $N$-generic to add a Cohen subset to some other cardinal $\delta$, using $\text{Add}(\delta,1)^N$?</p> <p>For a more concrete version of the question, imagine that we have added a Cohen real $c$ and form the extension $M[c]$; could it be that this model might also be realized as $N[A]$ for some other ground model $N$, where $A$ is an $N$-generic Cohen subset of $\omega_1^N$? Note that $M\neq N$ since it must be that $c\in N$ as the higher forcing does not add reals. For my application, I need to understand the case where the two cardinals are both inaccessible cardinals (if not much more). Also, it is not difficult to identify general situations where this kind of thing is impossible. What I really want to know is if it can ever happen at all.</p> <p>I conjecture that this situation is impossible, and that indeed, when you add a Cohen subset to a cardinal, you have in particular made that cardinal definable, as "the cardinal for which the universe was just obtained by adding a Cohen subset to it".</p> <p>The question is really a part of the subject known as <a href="http://jdh.hamkins.org/set-theoreticgeology/" rel="nofollow">set-theoretic geology</a>, but it has recently arisen in another project of mine.</p>