摘要：如果在大于n个Woodin基数存在且M\_{n+1}^#不存在的情况下，可以证明K存在。尽管K不是完全可迭代的，但它只是可迭代于Woodin基数之间的某些树的堆栈。然而，如果M是V的ω-闭迭代，那么K^M是K的迭代。
作者：Ralf Schindler
论文ID：math/0303089
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中