首页|A Universe with a $Î^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Î ^1_n$-Uniformization
A Universe with a $Î^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Î ^1_n$-Uniformization
A Universe with a $Î^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Î ^1_n$-Uniformization
This paper details the construction of a universe where $Î ^1_3$-uniformization is true, the Continuum Hypothesis holds yet it possesses a $Î^1_3$-definable well-order of its reals. The method can be lifted to canonical inner models with finitely many Woodin cardinals to produce universes of $\mathsf{CH}$, $Î ^1_n$-uniformization and where additionally a $Î^1_n$-definable well-order of the reals exist.
Stefan Hoffelner
数学
Stefan Hoffelner.A Universe with a $Î^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Î ^1_n$-Uniformization[EB/OL].(2025-06-26)[2025-07-21].https://arxiv.org/abs/2506.21778.点此复制
评论