Abstract
The strength of precipitousness, presaturatedness and saturatedness of NSκ and NS κ λ is studied. In particular, it is shown that: (1) The exact strength of " {Mathematical expression} for a regular μ > max(λ, א1)" is a (ω,μ)-repeat point. (2) The exact strength of "NSκ is presaturated over inaccessible κ" is an up-repeat point. (3) "NSκ is saturated over inaccessible κ" implies an inner model with ∃αo(α) =α ++.
Original language | English |
---|---|
Pages (from-to) | 61-112 |
Number of pages | 52 |
Journal | Israel Journal of Mathematics |
Volume | 92 |
Issue number | 1-3 |
DOIs | |
State | Published - Feb 1995 |