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 |