可测集可能全部都是Delta^1_2

摘要:构造能力宇宙$L$的一个强迫扩展,在该扩展中,每个普遍可测的实数集都是$uTDelta^{1}\_{2}$,部分回答了David Fremlin问题列表中的问题CG。类似的结果对于范畴在同一模型中也成立。

作者:Paul B. Larson, Saharon Shelah

论文ID:2005.10399

分类:Logic

分类简称:math.LO

提交时间:2023-06-21

PDF 下载: 英文版 中文版pdf翻译中