×
内德尔科·斯特凡诺维奇

Halpern-Läuchli定理的替代方法。 （英语） Zbl 07719415号

Ann.纯粹应用。逻辑 174，第9号，文章ID 103313，29 p.（2023）.
小结：本文表明，科恩对称模型中的BPI可以作为Halpern-Läuchli定理的等价替代。此外，对于某类语句，以绝对性定理的形式替代Halpern-Läuchli定理的一些方法是这种一致性结果的结果。本文还包含Halpern-Läuchli定理的一个新证明。

MSC公司：

03E35号 一致性和独立性结果
10年5月 拉姆齐理论
03E75型 集合论的应用
2018年5月 集合的分区

关键词：

Halpern-Läuchli定理;强制;集合论的应用
PDF格式BibTeX公司 XML格式引用
\textit{N.Stefanović}，Ann.《纯粹的应用》。逻辑174，第9号，文章ID 103313，29页（2023；Zbl 07719415）
全文： DOI程序

参考文献：

[1] Audrito，Giorgio，集合泛型扩展的表征，Matematica的Corso di Studi（2010），都灵大学，facoltàdi science-m.f.n。
[2] 杰弗里·伯格福克（Jeffrey Bergfalk）；迈克尔·赫鲁沙克；Shelah，Saharon，高度连接单色子图的Ramsey理论，《数学学报》。挂。，163, 1, 309-322 (2021) ·Zbl 1474.03111号
[3] Cohen，Paul J.，连续统假设的独立性I，Proc。国家。阿卡德。科学。美国，501143-1148（1963）·Zbl 0192.04401号
[4] Cohen，Paul J.，连续统假设的独立性II，Proc。国家。阿卡德。科学。美国，5105-148（1964年）
[5] De La Cruz Omar、Halpern和Levy Redux——一份未发表的手稿，基于2003年在巴塞罗那附近的CRM Bellatera中心与S.Todorčević举行的一系列会议。
[6] 多布林，娜塔莎，《拉姆齐理论中的强迫》（2016年RIMS无限组合学和强迫理论研讨会论文集（2017））·Zbl 1480.03036号
[7] James D.Halpern。；Läuchli，Hans，A划分定理，Trans。美国数学。《社会学杂志》，124，360-367（1966）·Zbl 0158.26902号
[8] James D.Halpern。；Azriel，Lévy，布尔素理想定理并不意味着选择公理，（公理集合论。公理集合理论，纯数学研讨会论文集，第十三卷，第一部分（1971），AMS:AMS Providence），83-134·Zbl 0233.02024
[9] Jech，Tomas，集理论，Springer数学专著（2002），Springer:Springer Berlin，Heidelberg，New York，Hong Kong，London，Milan，Paris，Tokyo·Zbl 0263.02031号
[10] Kenneth，Kunen，《集合论——独立性证明导论》，《逻辑与数学基础研究》，第102卷（1980年），Elsevier B.V·Zbl 0443.03021号
[11] Lambie-Hanson，Chris，高维Delta-systems，Order（2022）·Zbl 07701691号
[12] 克里斯·兰比·汉森；Andy，Zucker，波兰空间划分原则和Halpern-Läuchli定理，2022年，提交出版
[13] Milliken，Keith R.，树的Ramsey定理，J.Comb。理论，Ser。A、 26、3、215-237（1979）·Zbl 0429.05035号
[14] Moore，Tatch Justin，《强迫方法》（2019年）·Zbl 1427.43001号
[15] Stevo，Todorčević，拉姆齐空间导论（2010），普林斯顿大学出版社·Zbl 1205.05001号
[16] Stevo，Todorčević，《现实与正分割关系，逻辑，方法论与科学哲学》，第七卷（1983年）·Zbl 0532.03023号
[17] 托多尔切维奇·斯特沃；Ilijas，Farah，强迫方法的一些应用（1995），叶尼塞语：叶尼塞语莫斯科·Zbl 1089.03500号
[18] Andy Zucker，二维Halpern-Läuchli定理的新证明（2017）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。