钻石(在常规上)可以在任何强展可基数处失败。

摘要:如果kappa是任意强展开基数,则这在一个使Diamond_kappa(REG)失败的强制扩展中被保持。这个结果延续了Woodin关于弱紧基数的相应结果的进展,以及Hauser关于不可描述基数的相应结果。

作者:Joel David Hamkins (The City University of New York) and Mirna Dv{z}amonja (University of East Anglia)

论文ID:math/0409304

分类:Logic

分类简称:math.LO

提交时间:2007-05-23

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