{"id":"arxiv/2603.22503","url":"https://arxiv.org/abs/2603.22503","tags":["math.LO"],"score":0,"title":"The Reverse Mathematics of Analytic Measurability","domain":"math.LO","source":"arxiv","authors":["Juan P. Aguilera","Thibaut Kouptchinsky","Keita Yokoyama"],"reviews":0,"subject":"math.LO","summary":"A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer to a question of Simpson. Our main proof is motivated towards proving a specific version of that result, namely that analytic sets are Lesbesgue-regular, which requires the equality of the outer and inner measures of the set in question. We prove this statement to be equivalent to $Σ^{1}_{1}$-$\\mathrm{IND}$ over $\\mathrm{ATR}_{0}$. The full statement of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-23","reactions":{}}