Universally measurable sets may all be Delta^1_2
arXiv:2005.10399
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.