{"id":"arxiv/2606.13199","url":"https://arxiv.org/abs/2606.13199","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","Sandra Müller"],"reviews":0,"subject":"math.LO","summary":"Assuming that $M_n$, the canonical inner model with $n$ Woodin cardinals, exists, we force a model in which every $\\boldsymbolΣ^1_{n+2}$ set is Lebesgue measurable and has the Baire property, and in which $Σ^1_{n+2+m}$-uniformization holds for every $m\\inω$. Additionally, this universe has a $Δ^1_{n+3}$-definable wellorder of the reals. This answers a question of S. D. Friedman and R. Schindler from 1999. In the case $n=1$, the construction also gives a model with one Woodin cardinal in which all $Σ^1_3$ sets are measurable with respect to the random, Cohen, Sacks and Miller notions of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-11","reactions":{}}