Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.22503 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- 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 the theorem, that is the one implying the existence of the measure as a real number, is equivalent to $Π^{1}_{1}$-$\mathrm{CA}_{0}$, again provably over $\mathrm{ATR}_{0}$. In our main proof, we draw inspiration from Solovay's construction of a model of Zermelo-Fraenkel set theory where every set is Lebesgue measurable. In our case the argument requires the use of class forcing over a family of standard and non-standard models of a very weak set theory obtained through the method of pseudohierarchies.