2000 character limit reached
A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
Published 26 Jun 2025 in math.LO | (2506.21778v1)
Abstract: This paper details the construction of a universe where $\Pi1_3$-uniformization is true, the Continuum Hypothesis holds yet it possesses a $\Delta1_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}$, $\Pi1_n$-uniformization and where additionally a $\Delta1_n$-definable well-order of the reals exist.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.