Some results on nonstationry ideal 2

1994/12/06 by Moti Gitik, Gitik, Moti
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras #math.LO

paper · pdf · doi:10.48550/arxiv.math/9412209

arxiv created 1994/12/06 · openalex publication_date 1994/12/06 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This is a continuation of "Some results on nonstationry ideal". The upper bound on precipitousness of NS_lambda⁺ for a regular lambda given in this paper is proved to be exact.It is shown that saturatedness of NS_kappa^aleph₀ over inaccessible kappa requires at least o(kappa)=kappa⁺+.The upper bounds on the strength of NS_kappa precipitous for inaccessible kappa are reduced quite close to the lower bounds.

Related

• Nowhere precipitousness of the non-stationary ideal over P_kappa(lambda)
• The nonstationary ideal on P_κ(lambda) for lambda singular
• Less nonstationary ideals
• PFA and precipitousness of the nonstationary ideal
• The extent of saturation of induced ideals