The Krapp–Wirth measurable-target separation holds unconditionally: the analytic non-Borel witness discharges the hypothesis of analytic_nonborel_set_gives_measTarget_separation.
DeclkrappWirthSeparationMeasTarget_holds
KrappWirthSeparationMeasTarget
TopicAnalytic sets
Arguments
| DOI | Author | Date |
|---|---|---|
| MTH.R-2026-6013 | Dhruv Gupta | 2026-09-24T00:00:00Z |
DOIMTH.C-2026-6013
Cite
Verification
- Library
- FLT_Proofs.Theorem.BorelAnalyticSeparationWitness
- Statement digest
- 9ca5c4fd0e9c
- First verified
- 2026-09-24T00:00:00Z