Universally measurable sets may all be Delta^1_2
Abstract
We produce a forcing extension of the constructible universe $\bL$ in which every universally measurable set of reals is $\uTDelta^{1}_{2}$, partially answering question CG from David Fremlin's problem list. The analogous result for category holds in the same model.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2020
- DOI:
- 10.48550/arXiv.2005.10399
- arXiv:
- arXiv:2005.10399
- Bibcode:
- 2020arXiv200510399L
- Keywords:
-
- Mathematics - Logic;
- 03E35;
- 28A05