A ${ rm{ Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${ rm{NS}}_{ omega _1 } $ SATURATED. - Sy-David Friedman; Stefan Hoffelner (J. Symb. Log., 2019)

Ns saturated and -Definable. - Stefan Hoffelner (J. Symb. Log., 2021)

Forcing the Σ31-separation property. - Stefan Hoffelner (J. Math. Log., 2022)

Forcing the Π31-reduction property and a failure of Π31-uniformization. - Stefan Hoffelner (Ann. Pure Appl. Log., 2023)

Forcing axioms and the uniformization-property. - Stefan Hoffelner (Ann. Pure Appl. Log., 2024)