Publications and preprints

Published and accepted papers

  1. A (\Sigma^1_4) wellorder of the reals with NS saturated, with S. D. Friedman.
    Journal of Symbolic Logic 84, no. 4, 1466–1483, 2019.
    DOI

  2. A model where NS is saturated and (\Delta_1)-definable.
    Journal of Symbolic Logic 86, no. 1, 25–59, 2021.
    DOI

  3. Forcing the (\Sigma^1_3)-separation property.
    Journal of Mathematical Logic 22, no. 2, Article ID 2250008, 38 pp., 2022.
    DOI

  4. Forcing the (\Pi^1_3)-Reduction Property and a Failure of (\Pi^1_3)-Uniformization.
    Annals of Pure and Applied Logic 174, no. 8, 2023.
    DOI

  5. 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, 2023.
    DOI

  6. Forcing Axioms and the Uniformization Property.
    Annals of Pure and Applied Logic 175, no. 10, 2024.
    DOI

  7. PFA and the definability of the nonstationary ideal, with P. Larson, R. Schindler and L. Wu.
    Journal of Symbolic Logic, accepted manuscript, 2025.
    DOI

  8. The global (\Sigma^1_{n+2})-Uniformization Property and BPFA.
    Advances in Mathematics, 2025.
    DOI

  9. MA(I) and a Failure of Separation on the third Level.
    Annals of Pure and Applied Logic, 2026.
    arXiv

Submitted papers

  1. Forcing the (\Pi^1_n)-Uniformization Property. Submitted.
    arXiv · PDF

  2. A Failure of (\Pi^1{n+3})-Reduction in the Presence of (\Sigma^1{n+3})-Separation. Submitted.
    arXiv · PDF

  3. Forcing (\Pi^1_3)-uniformization and a (\Delta^1_3)-definable wellorder. Submitted.
    arXiv · PDF

  4. A Universe with large Continuum, global (\Sigma)-Uniformization and a projective Well-Order of its Reals. Submitted.
    arXiv · PDF

  5. (NS_{\omega_1}) saturated, (\Delta_1({\omega_1}))-definable and a (\Delta^1_4)-definable well-order of the reals. Submitted.
    arXiv · PDF

  6. Forcing upper (\Sigma)-uniformization in the presence of lower (\Pi)-reduction or uniformization. Submitted.
    arXiv · PDF

  7. On (\Sigma^1_3)- and (\Sigma^1_4)-uniformization. Submitted.
    arXiv · PDF

  8. On a local variant of the 12th Delfino Problem — the (\Sigma)-side, with Sandra Müller. Submitted.
    arXiv · PDF

  9. On a local variant of the 12th Delfino problem — the (\Pi)-side. Submitted.
    arXiv · PDF

  10. Forcing (\mathbf{\Sigma}^1_1)-Separation on (\omega_1^{\omega_1}). Submitted.
    arXiv · PDF

  11. On graphs of total projective functions. Submitted.
    arXiv · PDF

  12. Martin’s Axiom, large continuum and global (\Sigma^1_n)-uniformization. Submitted.
    arXiv · PDF

  13. Projective maximal families of orthogonal measures and global (\Sigma)-uniformization. Submitted.
    PDF

Preprints/Notes