阿萨夫·沙龙;Viale,Matteo公司 对可接近性理想进行反思的一些后果。 (英语) Zbl 1200.03029号 事务处理。美国数学。Soc公司。 362,第8期,4201-4212(2010). 摘要:我们研究了大基数背景下的逼近理想(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)都失败了。 引用于1审查引用于13文件 MSC公司: 04年3月 有序集及其余终结性;pcf理论 03E55型 大型红衣主教 03E65年 其他集合理论假设和公理 关键词:奇异基数组合学;大红衣主教 PDF格式BibTeX公司 XML格式引用 \textit{A.Sharon}和\textit{M.Viale},翻译。美国数学。Soc.362,No.8,4201--4212(2010;Zbl 1200.03029) 全文: 内政部 arXiv公司 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。