Stefan Hoffelner

activity

20162026

Σ_{3}^{1}

-Separation Property

5 citations · 13 across the 22 of their papers we have counts for

collaborators

Showing 2020 · math.LOShow all

2 papers · 2 filters

math.LO2020★ 1 cited

Forcing the $Π_{3}^{1}$ -Reduction Property and a Failure of $Π_{3}^{1}$ -Uniformization

Stefan Hoffelner

We force over the constructible universe to obtain a model of the $Π_{3}^{1}$ -reduction property, thus lowering the best known large cardinal strength from the existence of $M_{1}^{#}$ …

math.LO2020★ 2 cited

Forcing Axioms, the Uniformization and the Basis Property

Stefan Hoffelner

We show that there are models of MA where the boldface $Σ_{3}^{1}$ -uniformization property holds. Further we show that BPFA and the assertion $ℵ_{1}$ is accessible to reals outright…

Forcing the Π31​-Reduction Property and a Failure of Π31​-Uniformization

Forcing Axioms, the Uniformization and the Basis Property

Forcing the $Π_{3}^{1}$ -Reduction Property and a Failure of $Π_{3}^{1}$ -Uniformization