{"id":"arxiv/2606.13210","url":"https://arxiv.org/abs/2606.13210","tags":["math.LO"],"score":0,"title":"On a local variant of the 12th Delfino problem -- the $Π$-side","domain":"math.LO","source":"arxiv","authors":["Stefan Hoffelner"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-11","reactions":{}}