钻石(在常规上)可以在任何强展可基数处失败。
摘要:如果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