{"id":"arxiv/2610.17547","url":"https://arxiv.org/abs/2610.17547","tags":["math.LO"],"score":0,"title":"Fragments of SRP, the nonstationary ideal, and diagonal reflection","domain":"math.LO","source":"arxiv","authors":["Gunter Fuchs","Hiroshi Sakai"],"reviews":0,"subject":"math.LO","summary":"We investigate the relationships between fragments of SRP and diagonal reflection principles. It turns out that the subcomplete fragment of SRP, augmented with CH, implies that the nonstationary ideal on $ω_1$ is not saturated, but that Larson's diagonal reflection principle $OSR_{ω_2}$ holds. In contrast, it was known that the full principle SRP implies the saturation of the nonstationary ideal on $ω_1$, but it does not imply $OSR_{ω_2}$. We find several instances of this phenomenon: pairing (variations of) the subcomplete fragment of SRP with stronger failures of the nonstationary ideal on…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-13","reactions":{}}