强迫公理和连续统假设(根据Asper''o和Schindler关于$mathbf{MM}^{++}$蕴含Woodin公理$(*)$的证明)

摘要:衔接连续性问题和集合论中的近期进展

作者:Matteo Viale

论文ID:2305.07784

分类:Logic

分类简称:math.LO

提交时间:2023-05-18

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