2020/05/21 by Paul Larson, Saharon Shelah, Larson, Paul B. +1
Mathematics · Computer Science · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Mathematical and Theoretical Analysis
paper · pdf · doi:10.48550/arxiv.2005.10399
We produce a forcing extension of the constructible universe \bL in which every universally measurable set of reals is \uTDelta12, partially answering question CG from David Fremlin's problem list. The analogous result for category holds in the same model.