加载中…
Krueger showed that PFA implies that for all regular , there are stationarily many that are internally club but not internally approachable. From countably many Mahlo cardinals, we force a model in which, for all positive and , there is a stationary subset of consisting of sets that are internally club but not internally approachable. The theorem is obtained using a new variant of Mitchell forcing. This answers questions of Krueger.

生成讲解博客的中文版本

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