加载中…
Assume is a singular limit of supercompact cardinals, where is a limit ordinal. We present two forcing methods for making the successor of the limit of the first measurable cardinals while the tree property holding at The first method is then used to get, from the same assumptions, tree property at with the failure of at . This extends results of Neeman and Sinapova. The second method is also used to get tree property at successor of an arbitrary singular cardinal, which extends some results of Magidor-Shelah, Neeman and Sinapova.

生成讲解博客的中文版本

生成AI智能校验的中文版本