Stefan Hoffelner

collaborators

Showing math.LOShow all

3 papers · 1 filter

math.LO2025

A Universe with a $Δ_{n}^{1}$ -definable well-order of the reals, $CH$ and $Π_{n}^{1}$ -Uniformization

Stefan Hoffelner

This paper details the construction of a universe where $Π_{3}^{1}$ -uniformization is true, the Continuum Hypothesis holds yet it possesses a $Δ_{3}^{1}$ -definable well-order of its reals.…

math.LO2025

A Universe with large Continuum, global $Σ$ -Uniformization and a projective Well-Order of its Reals

Stefan Hoffelner

We construct a model in which the continuum has size $κ$ for a regular cardinal $κ$ and in which the $Σ_{n}^{1}$ -uniformization property holds simultaneously for every $n \geq 2$ . Addit…

math.LO2016

Projective Wellorders and the Nonstationary Ideal

Stefan Hoffelner

We show that, under the assumption of the existence of $M_{1}^{#}$ , there exists a model on which the restricted nonstationary ideal $NS ↾ A$ is $ℵ_{2}$ -satu…

A Universe with a Δn1​-definable well-order of the reals, CH and Πn1​-Uniformization

A Universe with large Continuum, global Σ-Uniformization and a projective Well-Order of its Reals

Projective Wellorders and the Nonstationary Ideal

A Universe with a $Δ_{n}^{1}$ -definable well-order of the reals, $CH$ and $Π_{n}^{1}$ -Uniformization

A Universe with large Continuum, global $Σ$ -Uniformization and a projective Well-Order of its Reals