Login / Signup
Stefan Hoffelner
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 5
Top Topics
Desirable Properties
Network Simulator
First Order Logic
Top Venues
J. Symb. Log.
Ann. Pure Appl. Log.
J. Math. Log.
</>
Publications
</>
Stefan Hoffelner
Forcing axioms and the uniformization-property.
Ann. Pure Appl. Log.
175 (10) (2024)
Stefan Hoffelner
Forcing the Π31-reduction property and a failure of Π31-uniformization.
Ann. Pure Appl. Log.
174 (8) (2023)
Stefan Hoffelner
Forcing the Σ31-separation property.
J. Math. Log.
22 (2) (2022)
Stefan Hoffelner
Ns saturated and -Definable.
J. Symb. Log.
86 (1) (2021)
Sy-David Friedman
,
Stefan Hoffelner
A ${\rm{\Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${\rm{NS}}_{\omega _1 } $ SATURATED.
J. Symb. Log.
84 (4) (2019)