Universally measurable sets may all be Delta12
Abstract
We produce a forcing extension of the constructible universe in which every universally measurable set of reals is 12, partially answering question CG from David Fremlin's problem list. The analogous result for category holds in the same model.
0