×

对可接近性理想进行反思的一些后果。 (英语) Zbl 1200.03029号

摘要:我们研究了大基数背景下的逼近理想(mathcal{I}[\kappa^+]\)和奇异(\kappa)下正则基数的性质。作为一个指导性示例,考虑可接近性理想\(\mathcal{I}[\aleph_{\omega+1}]\),假设\(\aleph_{\omega}\)是一个强极限。在这种情况下,我们得到了一些(n>1)的余终结性(aleph_n)的(aleph_{omega+1})中的club多点是可逼近的,假设(aleph_n)的平稳子集的可数族的联合反映。这个反射原理在MM下适用于所有(n>1),并且对于每个(n>1\)都与\(\aleph_n\)在\(L\)中是弱紧的等价一致。这表征了MM模型中可接近理想\(\mathcal{I}[\aleph_{\omega+1}]\)的结构。我们还应用我们的结果表明,Chang猜想\((\kappa^+,\kappa)\twoheadlightarrow(\aleph_2,\aleph_1)\)在MM模型中对于所有奇异基数\(\kappa)都失败了。

MSC公司:

04年3月 有序集及其余终结性;pcf理论
03E55型 大型红衣主教
03E65年 其他集合理论假设和公理
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] U.Abraham和M.Magidor,《基数算术》,《集合论手册》,北荷兰出版·Zbl 1198.03053号
[2] 詹姆斯·卡明斯(James Cummings),奇点的坍塌继承者,Proc。阿默尔。数学。Soc.125(1997),第9期,2703–2709·Zbl 0881.03027号
[3] T.Eisworth,《单数基数的继任者》,《集合论手册》,北荷兰出版·兹比尔1198.03049
[4] M.Foreman,《理想与一般基本嵌入》,《集合论手册》,北荷兰出版·Zbl 1198.03050号
[5] 马修·福尔曼(Matthew Foreman)和梅纳希姆·马吉多(Menachem Magidor),《非常弱的平方原理》(A very weak square principle),《符号逻辑杂志》(J.Symbolic Logic)62(1997),第1期,175-196页·Zbl 0880.03022号 ·doi:10.2307/2275738
[6] M.Foreman、M.Magidor和S.Shelah,马丁的最大饱和理想和非正则超滤子。一、 数学年鉴。(2) 127(1988),第1期,第1-47页·Zbl 0645.03028号 ·doi:10.2307/1971415
[7] Moti Gitik和Assaf Sharon,关于SCH和可接近性,Proc。阿默尔。数学。Soc.136(2008),第1期,311–320·Zbl 1140.03033号
[8] 托马斯·杰赫(Thomas Jech),《集合论》(Set theory),《施普林格数学专著》(Springer Monographs in Mathematics),施普林格-弗拉格出版社,柏林,2003年。第三个千年版,经修订和扩充·Zbl 1007.03002号
[9] Menachem Kojman,精确上界及其在集合论中的应用,Ann.Pure Appl。《逻辑》92(1998),第3期,267–282·Zbl 0926.03051号 ·doi:10.1016/S0168-0072(98)00011-6
[10] Jean-Pierre Levinski、Menachem Magidor和Saharon Shelah,Chang对&alefsym_{\?},以色列J.数学。69(1990),第2期,161-172·Zbl 0696.03023号 ·doi:10.1007/BF02937302
[11] Menachem Magidor,《反射静止集》,《符号逻辑杂志》第47卷(1982年),第4期,第755–771页(1983年)·Zbl 0506.03014号 ·doi:10.2307/2273097
[12] 欧内斯特·希默林,相干序列和线程,高级数学。216(2007),第1期,89–117·Zbl 1124.03022号 ·doi:10.1016/j.aim.2007.05.005
[13] Stevo Todorcevic,在序数及其特征上行走,《数学进展》,第263卷,Birkhäuser Verlag,巴塞尔,2007年·兹比尔1148.03004
[14] M.Viale,《适当强制公理在基数运算中的应用》,巴黎大学7-Denis-Didero博士论文,2006年·Zbl 1098.03053号
[15] Matteo Viale,覆盖特性家族,数学。Res.Lett公司。15(2008),第2期,221–238·Zbl 1146.03033号 ·doi:10.4310/MRL.2008.v15.n2.a2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。