Fragments of SRP, the nonstationary ideal, and diagonal reflection
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.17547
curl -X POST /api/v1/records/arxiv/2610.17547/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.17547/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'