The Reverse Mathematics of Analytic Measurability
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.22503
curl -X POST /api/v1/records/arxiv/2603.22503/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.22503/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'