Some results on nonstationry ideal 2
Abstract
This is a continuation of "Some results on nonstationry ideal". The upper bound on precipitousness of NSlambda+ for a regular lambda given in this paper is proved to be exact.It is shown that saturatedness of NSkappaaleph0 over inaccessible kappa requires at least o(kappa)=kappa++.The upper bounds on the strength of NSkappa precipitous for inaccessible kappa are reduced quite close to the lower bounds.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.