Abstract
Woodin has demonstrated that, in the presence of large cardinals, there is a single model of ZFC which is maximal for ?-sentences over the structure (H(?), ?, NS), in the sense that its (H(?), ?, NS) satisfies every ?-sentence s for which (H(?), ?, NS) {true} s can be forced by set-forcing. In this paper we answer a question of Woodin by showing that there are two ?-sentences over the structure (H(?), ?, ?) which can each be forced to hold along with the continuum hypothesis, but whose conjunction implies,. In the process we establish that there are two preservation theorems for not introducing new real numbers by a countable support iterated forcing which cannot be subsumed into a single preservation theorem.
Original language | English |
---|---|
Pages (from-to) | 1-29 |
Number of pages | 29 |
Journal | Acta Mathematica |
Volume | 210 |
Issue number | 1 |
DOIs | |
Publication status | Published - 1 Mar 2013 |
Keywords
- Continuum hypothesis
- Iterated forcing
- Forcing axiom
- Martin's maximum
- Π2 maximality
- Proper forcing axiom
- 03E35
- 03E50
- 03E57