加载中…
Assuming the existence of a strong cardinal and a measurable cardinal above it, we force a generic extension in which is a singular strong limit cardinal of any prescribed cofinality, and such that the tree property holds at .

生成讲解博客的中文版本

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