Stefan Hoffelner

Available identifiers

Publication	Date of Publication	Type
Forcing axioms and the uniformization-property	2024-08-08	Paper
A Failure of $\Pi^1_{n+3}$-Reduction in the Presence of $\Sigma^1_{n+3}$-Separation	2023-12-05	Paper
PFA and the definability of the nonstationary ideal	2023-10-20	Paper
Forcing the $\Pi_3^1$-reduction property and a failure of $\Pi_3^1$-uniformization	2023-06-13	Paper
Forcing Axioms and the Definabilty of the Nonstationary Ideal on $\omega_1$	2022-08-10	Paper
Forcing the Σ31-separation property	2022-08-03	Paper
NS SATURATED AND -DEFINABLE	2021-07-12	Paper
Forcing the $\Pi^1_n$-Uniformization Property	2021-03-22	Paper
Forcing the $\Pi^1_3$-Reduction Property and a Failure of $\Pi^1_3$-Uniformization	2020-09-04	Paper
Forcing Axioms, the Uniformization and the Basis Property	2020-01-22	Paper
A WELLORDER OF THE REALS WITH SATURATED	2020-01-10	Paper
The Consistency of the $\bf{\Sigma^1_3}$-Separation Property	2019-12-26	Paper
A universe with no ordinal-definable, stationary, co-stationary subset of $\omega_1$	2017-07-12	Paper
NS saturated and $\Delta_1$-definable	2017-01-25	Paper
Projective Wellorders and the Nonstationary Ideal	2016-10-13	Paper
The global $\Sigma^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$	N/A	Paper

This page was built for person: Stefan Hoffelner