论文标题
普遍可衡量的集可能都是delta^1_2
Universally measurable sets may all be Delta^1_2
论文作者
论文摘要
我们产生了可构造宇宙的强迫扩展$ \ bl $，其中 每一组可衡量的元素集都是$ \ utdelta^{1} _ {2} $，部分回答了David Fremlin的问题列表中的问题CG。类别的类似结果在同一模型中保持。
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.
