Stefan Hoffelner

According to our database, Stefan Hoffelner authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Forcing axioms and the uniformization-property.

Stefan Hoffelner

Ann. Pure Appl. Log., 2024

2023

Forcing the Π31-reduction property and a failure of Π31-uniformization.

Stefan Hoffelner

Ann. Pure Appl. Log., August, 2023

2022

Forcing the Σ31-separation property.

Stefan Hoffelner

J. Math. Log., 2022

2021

Ns saturated and -Definable.

Stefan Hoffelner

J. Symb. Log., 2021

2019

A ${\rm{\Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${\rm{NS}}_{\omega _1 } $ SATURATED.

Sy-David Friedman, Stefan Hoffelner

J. Symb. Log., 2019