萨拉、撒哈拉 PA型号：不带最小超滤器的标准系统。 （英语） Zbl 1424.03018号 萨拉热窝J.数学。 14（27），第1号，3-11（2018）. 摘要：我们证明了标准的算术模型\（mathbb{N}\）具有不可数的初等扩张\（N\），使得在表示为最小值的\（mat血红蛋白{N}）的子集的布尔代数上不存在超滤子（如表示为\（N）的分区的Rudin-Keisler顺序）。 MSC公司： 03C62号 算术和集合论模型 03元50分 具有特殊属性（饱和、刚性等）的模型 03C55号 集合理论模型理论 03E40型 强制和布尔值模型的其他方面 关键词：模型理论;集合论模型理论;皮亚诺算术;强制;最小超滤器 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}，萨拉热窝J.数学。14（27），编号1，3--11（2018；Zbl 1424.03018） 全文： arXiv公司 参考文献： [1] Ali Enayat，《没有保守初等扩展的Peano算法标准模型》，《纯粹与应用逻辑年鉴》56（2008），308-318·Zbl 1156.03035号 [2] H.Jerome Keisler，无限逻辑的模型理论。《带可数连词和有限量词的逻辑》，《逻辑学和数学基础研究》，第62卷，北霍兰德出版公司，阿姆斯特丹-朗顿出版社，1971年·Zbl 0222.02064号 [3] J.Knight和M.Nadel，《算术和封闭理想模型》，《符号逻辑杂志》47（1982），883-840·Zbl 0518.03032号 [4] Richard Laver，《关于Borel猜想的一致性》，《数学学报》。137 (1976), 151-169. ·Zbl 0357.28003号 [5] Saharon Shelah，《恰当和不当强迫》，《数理逻辑的观点》，斯普林格出版社，1998年·Zbl 0889.03041号 [6] Andrzej Roslanowski和Saharon Shelah，《可能性规范I：树木和生物的强迫》，《美国数学学会回忆录》141（1999），第671期，xii+167，arxiv:数学。LO/9807172·Zbl 0940.03059号 [7] Saharon Shelah，《PA的模型：当两个元素必须为序自守时》，《数学逻辑季刊》第61期（2015年），399-417，arxiv:1004.3342·Zbl 1367.03072号 [8] Ali-Enayat和Saharon-Shelah，P（ω）mod FIN的一个不适当的算术闭合Borel子代数，拓扑及其应用158（2011），2495-2502·Zbl 1246.03066号 [9] Saharon Shelah，《N的无端扩张模型》，《数学逻辑季刊》第57期（2011年），341-365，arxiv:0808.2960·Zbl 1238.03038号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。