×
乔治·奥德里托;西尔维娅·斯特拉

通用大基数和过滤器系统。 （英语） Zbl 1422.03111号

J.塞姆。日志。 82，第3期，860-892（2017）.
摘要：我们引入了\（\mathcal C\）-滤波器系统的概念，推广了正常理想的扩展器和塔的标准定义。这为以更通用、更简洁的方式发展扩展器和塔的理论提供了一个框架。在这个框架中，我们研究了泛型大基数属性的可定义性问题。

引用于1审查
引用于1文件

MSC公司：

03E55型 大型红衣主教
03E35号 一致性和独立性结果

关键词：

大红衣主教;泛型大基数;延长线;塔
PDF格式BibTeX公司 XML格式引用
\textit{G.Audrito}和\textit{S.Steila}，J.Symb。日志。82，第3号，860--892（2017；Zbl 1422.03111）
全文： 内政部 arXiv公司 链接

参考文献：

[1] 奥德里托集团。，通用大基数与绝对性，都灵大学博士论文，2016年。可在http://hdl.handle.net/2318/1557477。
[2] ClaverieB、。，理想、理想扩展器和强制公理，博士论文，穆斯特（韦斯特法伦），2010年·Zbl 1196.03066号
[3] 代码B。和CoxS。，一般强基数的不可分解性。《数学基础》，第232卷（2016年），第131-149.10.4064/fm232-2-3页·Zbl 1432.03094号
[4] CoxS.公司。和VialeM。，马丁的最大值和塔顶压力。以色列数学杂志，第197卷（2013年），第1期，第347-376.10.1007/s11856-013-0004-0页·Zbl 1306.03024号
[5] 卡明斯J。，迭代强迫和基本嵌入，《集合论手册》（ForemanM.和KanamoriA.，编辑），施普林格，多德雷赫特，2010年，第775-883.10.1007/978-14020-5764-9_13页·Zbl 1198.03060号
[6] 迪蒙特五世。和弗里德曼-D.等级对等级的假设和GCH的失败。《数理逻辑档案》，第53卷（2014年），第3-4期，第351-366.10.1007/s00153-014-0369-8页·Zbl 1351.03045号
[7] 迪蒙特五世。和WuL。，用于与I1相关的一致性结果的通用工具。《欧洲数学杂志》，第2卷（2016年），第2期，第474-492.10.1007/s40879-015-0092-y页·Zbl 1426.03031号
[8] 领班。，理想和一般初等嵌入，《集合论手册》（ForemanM.和KanamorA.，编辑），Springer，Dordrecht，2010，第885-1147.10.1007/978-1-4020-5764-9_14页·Zbl 1198.03050号
[9] 领班。，计算泛型嵌入的商代数。以色列数学杂志，第193卷（2013年），第1期，第309-3410.1007/s11856-012-0118-9页·兹比尔1270.03092
[10] 哈姆金斯。D.、KirmayerG.、。，和PerlmutterN.L.，Kunen不一致性的概括。《纯粹与应用逻辑年鉴》，第163卷（2012），第12期，第1872-1890.10.1016/j.apal.2012.06.001页·1270.03100兹罗提
[11] JechT.公司。，《集合论》，《施普林格数学专著》，施普林格-弗拉格出版社，柏林，2003年·Zbl 1007.03002号
[12] 卡库达。，在保持陡峭理想的科恩扩张条件下，本杂志，第46卷（1981年），第02期，第296-300页·Zbl 0489.03020号
[13] KanamoriA，《高等无限》，第二版，《施普林格数学专著》，施普林格-弗拉格出版社，柏林，2003年·Zbl 1022.03033号
[14] 科勒纳公司。，非常大的红衣主教，预印本，2015年。
[15] 拉森。B.，《固定塔》，大学讲座系列，第32卷，美国数学学会，普罗维登斯，RI，2004年·Zbl 1072.03031号
[16] MagidorM.、珍贵的理想和<！[CDATA\（[｛\bf｛\ Sigma｝｝_4^1]]\）>套。以色列数学杂志，第35卷（1980年），第1-2期，第109-134.10.1007/BF02760941页·Zbl 0445.03023号
[17] 铃木。，基础模型中不存在通用初等嵌入。筑波数学杂志，第22卷（1998年），第2期，第343-347.10.21099/tkbjm/1496163585页·Zbl 0915.03044号
[18] VialeM公司。，范畴强制、MM^+++和强强制公理理论的一般绝对性。《美国数学学会杂志》，第29卷（2016年），第3期，第675-728页·Zbl 1403.03108号
[19] VialeM公司。，奥德里托集团。，卡罗尔。，和SteilaS。，迭代强迫和塔强迫注释，预印本，2017年。
[20] VialeM公司。，AudritoG.公司。，和SteilaS。，半真迭代的布尔代数方法，预印本，2014，arXiv:1402.1714。
[21] 木质W。H.，合适的扩展器型号II：超ω-巨大。《数理逻辑杂志》，第11卷（2011年），第2期，第115-436.10.1142/S021906131100102X页·Zbl 1248.03069号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。