Abstract
We give some general criteria, when κ-complete forcing preserves largeness properties - like κ-presaturation of normal ideals on λ (even when they concentrate on small cofinalities). Then we quite accurately obtain the consistency strength "NSλ is N1-preserving", for λ > N2.
Original language | English |
---|---|
Pages (from-to) | 1527-1551 |
Number of pages | 25 |
Journal | Journal of Symbolic Logic |
Volume | 64 |
Issue number | 4 |
DOIs | |
State | Published - Dec 1999 |