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
The global $\Sigma^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$ (available as arXiv preprint)	N/A	Paper
\textsf{PFA} and the definability of the nonstationary ideal The Journal of Symbolic Logic	2026-06-12	Paper
$\mathsf{MA}(\mathcal{I})$ and a failure of separation on the third level Annals of Pure and Applied Logic	2025-12-05	Paper
The global ${\Sigma}_{n + 2}^1$-uniformization property and $\mathsf{BPFA} $ Advances in Mathematics	2025-04-17	Paper
Forcing axioms and the definability of the nonstationary ideal on the first uncountable The Journal of Symbolic Logic	2025-02-03	Paper
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₁	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₁	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

Research outcomes over time

This page was built for person: Stefan Hoffelner