摘要:马丁极大性(Martin's Maximum)在基数为$omega\_1$的偏序集上的一致性力量可以由ZFC一致性推导出来。
作者:Natasha Dobrinen, John Krueger, Pedro Marun, Miguel Angel Mota, and Jindrich Zapletal
论文ID:2307.06494
分类:Logic
分类简称:math.LO
提交时间:2023-07-14
PDF 下载: 英文版 中文版pdf翻译中