摘要:在扩展者强制概念上,我们提出了一种修改,允许对一个大基数的幂集进行扩充,将其可数无穷的基数改变为ω,而不添加有界子集,直接从任意的扩展器(如n-巨型扩展器)进行操作。利用这种强制法,从一个超强基数开始,我们构造了一个模型,在该模型中,添加的Prikry序列是正常Prikry序列中的一种尺度。
作者:Carmi Merimovich
论文ID:math/0305269
分类:Logic
分类简称:math.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中