摘要:构造能力宇宙$L$的一个强迫扩展,在该扩展中,每个普遍可测的实数集都是$uTDelta^{1}\_{2}$,部分回答了David Fremlin问题列表中的问题CG。类似的结果对于范畴在同一模型中也成立。
作者:Paul B. Larson, Saharon Shelah
论文ID:2005.10399
分类:Logic
分类简称:math.LO
提交时间:2023-06-21
PDF 下载: 英文版 中文版pdf翻译中