×
大卫·阿斯珀罗;阿萨夫·卡拉吉拉

从属选择、适当性和一般绝对性。 （英语） 兹比尔1532.03072

版本符号。日志。 14，第1期，225-249（2021）.
小结：我们证明了从属选择是一个充分的选择原则，它可以发展适当强迫的基本理论，并且可以在大基数存在的情况下导出Chang模型的一般绝对性，即使是关于保（mathsf{DC}）对称强迫扩张子模型。因此，（mathsf{ZF}+mathsf{DC}）不仅为发展经典分析提供了正确的框架，而且也是正确的基础理论，在大基数存在的情况下，从独立现象中保护分析的真理。我们还研究了\（\mathsf{ZF}\）中的真强迫公理的一些基本结果，并提出了关于\（\mathsf{ZF}+\mathsf{DC}\）和\（\ mathsf}ZFC}\）的真强迫公理的一般绝对性的一个自然问题。我们的结果证实了（mathsf{ZF}+mathsf}DC}）是“经典数学”重要部分的自然基础，并支持了这一理论也是集合论大部分的自然基础的观点。

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

理学硕士：

2005年3月 选择公理和相关命题
03E55 大型红衣主教
03E35号 一致性和独立性结果
03E57型 一般绝对性和强制公理

关键词：

选择公理;强制公理;适当的强制;PFA公司;类属绝对性;Chang模型
PDF格式BibTeX公司 XML格式引用
\textit{D.Asperó}和\textit{A.Karagila}，Rev.Symb。日志。14，编号1，225--249（2021；Zbl 1532.03072）
全文： 内政部 arXiv公司

参考文献：

[1] Abraham，U.（2010年）。正确施压。在Foreman，M.和Kanamori，A.的编辑中。集合论手册，第1卷。多德雷赫特：施普林格，第333-394页·Zbl 1198.03059号
[2] Asperó，D.&Viale，M.（2018年）。不兼容的类别强制公理。预印本。arXiv:1805.08732。
[3] 鲍姆加特纳，J.E.（1984）。真强迫公理的应用。在Kunen，K.和Vaughan，J.E.的编辑中。集合理论拓扑手册。阿姆斯特丹：North-Holland Publishing Co.，第913-959页·Zbl 0556.03040号
[4] Boolos，G.和Jeffrey，R.C.（1980）。可计算性和逻辑（第二版）。纽约：剑桥大学出版社·Zbl 0298.0203号
[5] 费费曼，S.（2011）。连续统假设是一个明确的数学问题吗？探索不完全性（EFI）项目的前沿。马萨诸塞州剑桥：哈佛大学。
[6] Grigorieff，S.（1975年）。集合论中的中间子模型和泛型扩展。数学年鉴，101（2），447-490·Zbl 0308.02060号
[7] Hamkins，J.D.（1998年）。小的强制使任何基数都可以被超破坏。符号逻辑杂志，63（1），51-58·Zbl 0906.03051号
[8] Hamkins，J.D.&Löwe，B.（2008）。强制的模态逻辑。美国数学学会学报，360（4），1793-1817·Zbl 1139.03039号
[9] Hayut，Y.和Karagila，A.（2020）。关键基数。以色列数学杂志，236449-472·Zbl 1479.03023号
[10] Hayut，Y.和Karagila，A.（2019年）。均匀性光谱。卡罗莱纳大学数学评论，60（2），285-298。
[11] Howard，P.&Rubin，J.E.（1998年）。选择公理的后果。数学调查与专著，第59卷。普罗维登斯，RI：美国数学学会。带1张IBM-PC软盘（3.5英寸；WD）·Zbl 0947.03001号
[12] 霍华德体育（1975）。Łoshi'定理和布尔素理想定理暗示了选择公理。《美国数学学会学报》，49，426-428·Zbl 0312.02052号
[13] Jech，T.J.（1973）。选择公理。《逻辑与数学基础研究》，第75卷。阿姆斯特丹：North-Holland Publishing Co·Zbl 0259.02051号
[14] Kanamori，A.（2003年）。更高的无限：集合论中的大型红雀从一开始。（第二版）。德国柏林：Springer-Verlag·Zbl 1022.03033号
[15] 卡拉吉拉（Karagila，A.）（2018年）。布里斯托尔模型：一个叫做科恩真实的深渊。数学逻辑杂志，18（2），1850008-1850037·Zbl 1522.03215号
[16] 卡拉吉拉（Karagila，A.）（2019）。保留从属选择。波兰科学院数学通报，67（1），19-29·Zbl 1479.03021号
[17] König，B.&Yoshinobu，Y.（2004）。通用扩展中Martin最大值的片段。《数理逻辑季刊》，50（3），297-302·兹比尔1047.03039
[18] Kunen，K.（1971）。基本嵌入和无限组合。符号逻辑杂志，36407-413·Zbl 0272.02087号
[19] Lévy，A.&Solovay，R.M.（1967）。可测基数和连续统假设。以色列数学杂志，5，234-248·Zbl 0289.02044号
[20] Mekler，A.H.（1984）。没有组合的C.C.C.强制。符号逻辑杂志，49（3），830-832·Zbl 0577.03025号
[21] 蒙罗，G.P.（1983）。关于没有选择公理的泛型扩展。符号逻辑杂志，48（1），39-52·Zbl 0522.03034号
[22] Moore，J.T.（2005）。设置贴图反射。数学逻辑杂志，5（1），87-97·Zbl 1082.03042号
[23] Pincus，D.（1977年）。添加从属选项。《数理逻辑年鉴》，11（1），105-145·Zbl 0365.02052号
[24] Schölder，J.J.（2013）。通过最小反例迭代强制公理。波恩大学数学研究所硕士论文。
[25] Shelah，S.（1998）。适当和不当强迫（第二版）。数学逻辑的观点。德国柏林：Springer-Verlag·Zbl 0889.03041号
[26] Solovay，R.M.（1970年）。一种集合理论模型，其中每一组实数都是勒贝格可测的。数学年鉴，92（2），1-56·Zbl 0207.00905号
[27] Viale，M.（2016）。范畴强制，\（｛\mathsf｛MM｝｝^｛+++｝\），以及强强制公理理论的一般绝对性。美国数学学会杂志，29（3），675-728·Zbl 1403.03108号
[28] Woodin，W.H.（1988）。超紧基数、实集和弱齐次树。《美国国家科学院院刊》，85（18），6587-6591·Zbl 0656.03037号
[29] Woodin，W.H.（2010）。合适的延长器型号I。数学逻辑杂志，10（1-2），101-339·Zbl 1247.03110号
[30] Woodin，W.H.（2011）。连续统假设、集合的广义多元性和欧米加猜想。在Kennedy，J.和Kossak，R.的编辑中。集合论、算术和数学基础：定理、哲学。课堂笔记日志。，第36卷。加州拉荷亚：符号逻辑协会，第13-42页·Zbl 1283.03083号
[31] Woodin，W.H.（2017）。寻找终极-（\text{L}）：第19届米德拉莎数学讲座。符号逻辑公报，23（1），1-109·Zbl 1420.03134号
[32] Yoshinobu（2019）。关闭强制下的性能。预印本，arXiv：1904.11168。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。