宫本忠太郎 关于迭代半真预序。 (英语) Zbl 1050.03034号 J.塞姆。日志。 67,第4期,1431-1468(2002). 本文完成了它所要做的工作:“证明了强制概念‘是({\omega_1})-半真的’的性质,并通过一种新的修正的可数支持迭代保持了固定树‘(T)是Souslin’”。作为应用,作者提出了一些与Souslin树的存在性相一致的强公理,如Martin's Maximum的MM(Sowslin)和SPFA(Souslins)。众所周知,PFA(Souslin)模型也可以类似地构建。读者不妨先略读第六节。作者很好地将自己的贡献放在了修改后的可数支持迭代的一般设置中。审核人:阿兰·道(夏洛特) 引用于1审查引用于7文件 数学溢出问题: 强反射原理与Suslin树存在性的一致性 MSC公司: 03年4月40日 强制模型和布尔值模型的其他方面 关键词:半恰当强迫;索斯林树;修正的可数支持迭代 PDF格式BibTeX公司 XML格式引用 \textit{T.宫本茂},J.Symb。日志。67,第4期,1431--1468(2002;Zbl 1050.03034) 全文: 内政部 参考文献: [1] 内政部:10.1007/BF02780398·Zbl 0655.03035号 ·doi:10.1007/BF02780398 [2] 数学课堂讲稿940(1982) [3] DOI:10.1007/BF01409967·Zbl 0805.03038号 ·doi:10.1007/BF01409967 [4] 数学逻辑透视(1998) [5] 逻辑与数学基础研究102(1980) [6] 集合论调查87(1983)·兹比尔0511.00004 [7] 数学课堂讲稿1476(1991) [8] 数学基础142第256页–(1993) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。