Stefan Hoffelner

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Forcing axioms and the uniformization-property Annals of Pure and Applied Logic	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 Annals of Pure and Applied Logic	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 Journal of Mathematical Logic	2022-08-03	Paper
NS SATURATED AND -DEFINABLE Journal of Symbolic Logic	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 $\Sigma_4^1$ wellorder of the reals with $\mathrm{NS}_{\omega_1}$ saturated Journal of Symbolic Logic	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 (available as arXiv preprint)	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}$ (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Stefan Hoffelner