加载中…
Let be a successor cardinal. We force a universe in which every model of PA of size extends to a model M of the same size, where M has no splendid extensions. If there is an ineffable cardinal then this statement holds at some cardinal below it, in ZFC.

生成讲解博客的中文版本

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