Abstract
We show: There are pairs of universes V1⊆V2 and there is a notion of forcing P∈V1 such that the change mentioned in the title occurs when going from V1[G] to V2[G] for a P-generic filter G over V2. We use forcing iterations with partial memories. Moreover, we implement highly transitive automorphism groups into the forcing orders.
Original language | English |
---|---|
Pages (from-to) | 207-261 |
Number of pages | 55 |
Journal | Annals of Pure and Applied Logic |
Volume | 106 |
Issue number | 1-3 |
DOIs | |
State | Published - 1 Dec 2000 |
Keywords
- 03E35
- 03E55
- Cardinal characteristics
- Forcing
- Large cardinals