加载中…
This article continues Roslanowski and Shelah math.LO/9906024 and 1105.6049 We introduce here yet another property of (<lambda)-strategically complete forcing notions which implies that their lambda-support iterations do not collapse lambda^+.

生成讲解博客的中文版本

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