×

超大红衣主教。 (英语) Zbl 1376.03044号

引入以下概念。基数\(\kappa \)被称为\(\lambda \)-超大型,其中\(\λda \)是一个大于或等于\(\kappa \\如果(\kappa)对于每个基数(\lambda\geq\kappa\)都是超大型的,那么它就是超大型的。
建立了以下公式:(A)如果(kappa)是超大型的,那么(alpha<kappa:alpha)是超巨型的,对于(kappa\)上的一些正常测度(U),它位于(U)。(B) 如果(kappa)是超几乎(2)-巨大的,那么它是超巨大的,而且(alpha<kappa:alpha。(C) 如果\(\kappa \)是超大型的,那么存在一个具有以下性质的函数\(f:\kappa\rightarrow V_\kappa=x\)。(D) 如果(kappa)是超(2)大的,那么它在(V^P)中仍然是超大的,其中(P)表示全球GCH的规范强迫。
本文还包括关于(C^{(n)})-超巨基数关联层次的结果(其中,(C^}(1)}-超巨与超巨相同)。

MSC公司:

03E55 大型红衣主教
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] G.Audrito M.Viale 2014年复活后的绝对性·兹比尔1423.03184
[2] Bagaria,C(n)-红衣主教,Arch。数学。日志。51(3-4)第213页–(2012)·Zbl 1250.03108号 ·doi:10.1007/s00153-011-0261-8
[3] J.Bagaria J.D.Hamkins K.Tsaprounis T.Usuba Superstrong和其他大型红衣主教从来都不是Laver坚不可摧的·Zbl 1402.03073号
[4] 巴巴内尔(Barbanel),数次身体力行的红衣主教J.Symb。日志。49(1)第112页–(1984)·Zbl 0597.03031号 ·doi:10.2307/2274094
[5] 布鲁克·泰勒(Brooke-Taylor),《Vopěnka原理的坚不可摧性》,Arch。数学。日志。50(5)第515页–(2011)·Zbl 1222.03051号 ·doi:10.1007/s00153-011-0228-9
[6] 布鲁克·泰勒(Brooke-Taylor),《大红衣主教和间隙1沼泽》(Large cardinals and gap-1 morasses),安(Ann.Pure Appl.)。日志。159(1-2)第71页–(2009)·Zbl 1165.03033号 ·doi:10.1016/j.apal.2008.10.007
[7] Corazza,《可扩展和超大型红衣主教的Laver序列》,J.Symb。日志。64(3)第963页–(1999)·Zbl 0949.03046号 ·doi:10.2307/2586614
[8] Cox,PFA和{\(\omega\)}2上的理想,它们的相关作用力是适当的,圣母院J.形式日志。53(3)第397页–(2012)·Zbl 1253.03078号 ·doi:10.1215/0294527-1716793
[9] Dobrinen,齐次迭代,测量一个覆盖相对于HOD,Arch。数学。日志。47(7-8)第711页–(2008)·Zbl 1153.03034号 ·doi:10.1007/s00153-008-0103-5
[10] Friedman,Quaderni di Matematica第17卷(2006年)
[11] 哈姆金斯,《脆弱的可测量性》,J.Symb。日志。59(1)第262页–(1994)·Zbl 0796.03054号 ·doi:10.2307/2275264
[12] Jech,Springer数学专著(2002)
[13] Jensen,《纯粹数学研讨会论文集》第XIII/II卷第175页–(1974)
[14] Laver,使{\(\kappa\)}的超紧性在{\(\ kappa \)}-定向闭合强迫下不可摧毁,Isr。数学杂志。第385页第29页–(1978年)·Zbl 0381.03039号 ·doi:10.1007/BF02761175
[15] 卡纳莫里,《更高的无限》,《数理逻辑的观点》(1994)·Zbl 0813.03034号
[16] 梅纳斯,关于超紧凑性的一致性结果,Trans。阿默尔。数学。Soc.223第61页–(1976年)·Zbl 0348.02046号 ·doi:10.1090/S0002-9947-1976-0540771-8
[17] Tsaprounis,大红衣主教和复活公理,博士论文(2012)
[18] Tsaprounis,关于可延伸红衣主教和GCH,Arch。数学。日志。52(5-6)第593页–(2013)·Zbl 1291.03099号 ·文件编号:10.1007/s00153-013-0333-z
[19] Tsaprounis,基本链和C(n)-红衣主教,Arch。数学。日志。53(1-2)第89页–(2014)·Zbl 1305.03040号 ·文件编号:10.1007/s00153-013-0357-4
[20] Tsaprounis,《论复活公理》,J.Symb。日志。80(2)第587页–(2015)·Zbl 1373.03100号 ·doi:10.1017/jsl.2013.39
[21] M.Viale范畴强制、MM++和强强制公理理论的一般绝对性·兹比尔1403.03108
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。