摘要：在本文中，我们描述了一种使用保持基数集的迫使方法来添加一个无穷命题公式的模型的通用方法。作为结果，我们得到了阿斯佩罗-辛德勒定理的一个稍微不同的证明，该定理指出$mathsf{MM}^{++}$蕴含着Woodin公理$(*)$。
作者：Obrad Kasum, Boban Veliv{c}kovi''c
论文ID：2308.08293
分类：Logic
分类简称：math.LO
提交时间：2023-08-17
PDF 下载： 英文版 中文版pdf翻译中