Hanf numbers for extendibility and related phenomena
Hanf numbers for extendibility and related phenomena
复制标题
可扩展性和相关现象的 Hanf 数
DOI：
--
复制
发表时间：
2021
影响因子：
0.3
通讯作者：
S. Shelah
中科院分区：
文献类型：
--
作者：
J. Baldwin;S. Shelah
本文包含Baldwin在Set Theory and Model Theory Conference （Institute for Research in Fundamental Sciences，德黑兰，2015年10月）上的部分演讲，并详细证明了在ZFC的适当扩展中，有一个完整的{L}ω1 ω的句子，ωdocumentclass[12pt]{minimal} useppackageamsmath{ useppackageamsfonts }useppackageamssymb{ useppackageamssyb} useppackageamsfs{ useppackagemathrsfs} setlengthoddsidemargin{-69pt} {egindocument}{}{}{}{}$$L_{omega _1,omega }$$ enddocument在基数中{有最大}的模型，最终在第一个可测量的基数中，当然，再也没有了。
This paper contains portions of Baldwin’s talk at the Set Theory and Model Theory Conference (Institute for Research in Fundamental Sciences, Tehran, October 2015) and a detailed proof that in a suitable extension of ZFC, there is a complete sentence of Lω1,ωdocumentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$L_{omega _1,omega }$$end{document} that has maximal models in cardinals cofinal in the first measurable cardinal and, of course, never again.