加载中…
This paper details the construction of a universe where -uniformization is true, the Continuum Hypothesis holds yet it possesses a -definable well-order of its reals. The method can be lifted to canonical inner models with finitely many Woodin cardinals to produce universes of , -uniformization and where additionally a -definable well-order of the reals exist.

生成讲解博客的中文版本

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