摘要:通过小强制,几乎每个强度嵌入都是在基本模型中的一个强度嵌入的提升。因此,小强制既不创建强基数也不创建Woodin基数。
作者:Joel David Hamkins (CUNY) and W. Hugh Woodin (UC Berkeley)
论文ID:math/9808124
分类:Logic
分类简称:math.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中