Publications
Publications
-
A (\Sigma^1_4) wellorder of the reals with NS saturated, with S. D. Friedman.
Journal of Symbolic Logic 84 (4), 1466–1483, 2019.
DOI -
A model where NS is saturated and (\Delta_1)-definable.
Journal of Symbolic Logic 86 (1), 25–59, 2021.
DOI -
Forcing the (\Sigma^1_3)-separation property.
Journal of Mathematical Logic 22 (2), Article 2250008, 38 pp., 2022.
DOI -
Forcing the (\Pi^1_3)-Reduction Property and a Failure of (\Pi^1_3)-Uniformization.
Annals of Pure and Applied Logic 174 (8), Article 103292, 2023.
DOI -
Forcing Axioms and the Definability of the nonstationary Ideal on the first Uncountable, with P. Larson, R. Schindler and L. Wu.
Journal of Symbolic Logic 89 (4), 1641–1658, 2024.
DOI -
Forcing Axioms and the Uniformization Property.
Annals of Pure and Applied Logic 175 (10), Article 103466, 2024.
DOI -
PFA and the definability of the nonstationary ideal, with P. Larson, R. Schindler and L. Wu.
Journal of Symbolic Logic 91 (2), 832–839, 2026.
DOI -
The global (\Sigma^1_{n+2})-Uniformization Property and BPFA.
Advances in Mathematics 470, Article 110272, 2025.
DOI -
MA(I) and a Failure of Separation on the third Level.
Annals of Pure and Applied Logic 177 (3), Article 103667, 2026.
DOI
Submitted
-
Forcing the (\Pi^1_n)-Uniformization Property. Submitted.
arXiv · PDF -
A Failure of (\Pi^1{n+3})-Reduction in the Presence of (\Sigma^1{n+3})-Separation. Submitted.
arXiv · PDF -
Forcing (\Pi^1_3)-uniformization and a (\Delta^1_3)-definable wellorder. Submitted.
arXiv · PDF -
A Universe with large Continuum, global (\Sigma)-Uniformization and a projective Well-Order of its Reals. Submitted.
arXiv · PDF -
(NS_{\omega_1}) saturated, (\Delta_1({\omega_1}))-definable and a (\Delta^1_4)-definable well-order of the reals. Submitted.
arXiv · PDF -
Forcing upper (\Sigma)-uniformization in the presence of lower (\Pi)-reduction or uniformization. Submitted.
arXiv · PDF -
On (\Sigma^1_3)- and (\Sigma^1_4)-uniformization. Submitted.
arXiv · PDF -
On a local variant of the 12th Delfino Problem — the (\Sigma)-side, with Sandra Müller. Submitted.
arXiv · PDF -
On a local variant of the 12th Delfino problem — the (\Pi)-side. Submitted.
arXiv · PDF -
Forcing (\mathbf{\Sigma}^1_1)-Separation on (\omega_1^{\omega_1}). Submitted.
arXiv · PDF -
On graphs of total projective functions. Submitted.
arXiv · PDF -
Martin’s Axiom, large continuum and global (\Sigma^1_n)-uniformization. Submitted.
arXiv · PDF -
Projective maximal families of orthogonal measures and global (\Sigma)-uniformization. Submitted.
PDF
Preprints
-
(\boldsymbol{\Delta}^1_3) regularity and failure of definable uniformization.
Preprint, 7 September 2026.
PDF -
Separating (\Pi^1{n+2}) and (\Sigma^1{n+2}) Maximal Almost Disjoint Families.
Preprint, 6 September 2026.
PDF -
Higher projective maximal orthogonal families of measures.
Preprint.
PDF -
Coanalytic MAD families and global (\Sigma)-uniformization.
Preprint.
PDF
PhD thesis
- Projective Wellorders and the Nonstationary Ideal. PhD thesis, Kurt Gödel Research Center, University of Vienna, 2016.