On a local variant of the 12th Delfino problem -- the $Π$-side
Assume that \(M_n\), the canonical inner model with \(n\) Woodin cardinals, exists. We force a model with continuum \(\aleph_2\) in which every \(\boldsymbolΣ^1_{n+2}\) set of reals is Lebesgue measurable and has the Baire property, the \(Σ^1_{n+2}\)- and \(Π^1_{n+3}\)-uniformization properties hold, and the reals admit a \(Δ^1_{n+3}\)-definable well-order. Thus regularity up to a fixed finite projective level, together with a definable well-order of the reals at the adjacent level, does not force the determinacy strength which would normally explain that regularity, even when this package…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.13210
curl -X POST /api/v1/records/arxiv/2606.13210/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.13210/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'