Forcing notions in inner models

Research output: Contribution to journalArticlepeer-review


There is a partial order P preserving stationary subsets of ? and forcing that every partial order in the ground model V that collapses a sufficiently large ordinal to ? over V also collapses ? over V. The proof of this uses a coding of reals into ordinals by proper forcing discovered by Justin Moore and a symmetric extension of the universe in which the Axiom of Choice fails. Also, using one feature of the proof of the above result together with an argument involving the stationary tower it is shown that sometimes, after adding one Cohen real c, there are, for every real a in V[c], sets A and B such that c is Cohen generic over both L[A] and L[B] but a is constructible from A together with B.
Original languageEnglish
Pages (from-to)643-651
Number of pages9
JournalArchive for Mathematical Logic
Issue number7
Publication statusPublished - 1 Sep 2009


  • 03E05
  • 03E49
  • 03E47
  • 03E55

Cite this