Forcing notions in inner models

Research output: Contribution to journalArticle

Abstract

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
Volume48
Issue number7
DOIs
Publication statusPublished - 1 Sep 2009

Keywords

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

Cite this