摘要：用仅需存在Ramsey基数而不需要$0^sharp$存在的较弱假设来证明Raghavan-Todorv{c}evi''{c}从Woodin基数中提出的Galvin猜想。
作者：Todd Eisworth
论文ID：2307.07369
分类：Logic
分类简称：math.LO
提交时间：2023-07-17
PDF 下载： 英文版 中文版pdf翻译中