不可破坏的弱紧基数与某些证明方案需要超紧性的必要性

摘要:如果通过某种特定类型的预备强逼迫使一个基数的弱紧性成为不可破坏的,包括任何类似Laver准备的强逼迫,那么这个基数最初就是超紧的。然后我们应用这个定理来证明超紧性的假设在某些证明方案中是必要的。

作者:Arthur W. Apter (CUNY) and Joel David Hamkins (CUNY)

论文ID:math/9907046

分类:Logic

分类简称:math.LO

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中