1. Outward compactness
    (with P. Holy and P. Lücke)

    Submitted. PDF. arXiv. Bibtex.

  2. Chang models over derived models with supercompact measures
    (with T. Gappo and G. Sargsyan)

    Submitted. PDF. arXiv. Bibtex.

  3. Towards a generic absoluteness theorem for Chang models
    (with G. Sargsyan)

    Submitted. PDF. arXiv. Bibtex.

  4. The consistency strength of determinacy when all sets are universally Baire

    Submitted. PDF. arXiv. Bibtex.

  5. Sigma_1-definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
    (with P. Lücke)

    Forum of Mathematics, Sigma. Volume 11, 2023. e103.
    DOI: 10.1017/fms.2023.102. PDF. arXiv. Bibtex.

  6. An undecidable extension of Morley's theorem on the number of countable models
    (with C. J. Eagle, C. Hamel, and F. D. Tall)

    Annals of Pure and Applied Logic. Volume 174, Issue 9, October-November 2023. 103317.
    DOI: 10.1016/j.apal.2023.103317. PDF. arXiv. Bibtex.

  7. Uniformization and Internal Absoluteness
    (with P. Schlicht)

    Proc. Amer. Math. Soc. Volume 151, 2023. Pages 3089-3102.
    DOI: 10.1090/proc/16155. PDF. arXiv. Bibtex.

  8. Perfect Subtree Property for Weakly Compact Cardinals
    (with Y. Hayut)

    Israel Journal of Mathematics. Volume 253, March 2023. Pages 865-886.
    DOI: 10.1007/s11856-022-2385-4. PDF. arXiv. Bibtex.

  9. Constructing Wadge classes
    (with R. Carroy and A. Medini)

    Bulletin of Symbolic Logic. Volume 28, Issue 2, June 2022. Pages 207-257.
    DOI: 10.1017/bsl.2022.7. PDF. arXiv. Bibtex.

  10. Lebesgue's density theorem and definable selectors for ideals
    (with P. Schlicht, D. Schrittesser, and T. Weinert)

    Israel Journal of Mathematics. Volume 249, May 2022. Pages 501-551.
    DOI: 10.1007/s11856-022-2312-8. PDF. arXiv. Bibtex.

  11. HOD in inner models with Woodin cardinals
    (with G. Sargsyan)

    The Journal of Symbolic Logic. Volume 86, Issue 3, September 2021. Pages 871-896.
    DOI: 10.1017/jsl.2021.61. PDF. arXiv. Bibtex.

  12. Closure properties of measurable ultrapowers
    (with P. Lücke)

    The Journal of Symbolic Logic. Volume 86, Issue 2, June 2021. Pages 762-784.
    DOI: 10.1017/jsl.2021.29. PDF. arXiv. Bibtex.

  13. Structural Properties of the Stable Core
    (with S.-D. Friedman and V. Gitman)

    The Journal of Symbolic Logic. Volume 88, Issue 3, September 2023. Pages 889-918.
    DOI: 10.1017/jsl.2023.10. PDF. arXiv. Bibtex.

  14. Infinite decreasing chains in the Mitchell order
    (with O. Ben-Neria)

    Archive for Mathematical Logic. Volume 60, March 2021. Pages 771-781.
    DOI: 10.1007/s00153-021-00762-x. PDF. arXiv. Bibtex.

  15. Projective Games on the Reals
    (with J. Aguilera)

    Notre Dame Journal of Formal Logic. Volume 61, Issue 4, November 2020. Pages 573-589.
    DOI: 10.1215/00294527-2020-0027. PDF. arXiv. Bibtex.

  16. The consistency strength of long projective determinacy
    (with J. Aguilera)

    The Journal of Symbolic Logic. Volume 85, Issue 1, March 2020. Pages 338-366.
    DOI: 10.1017/jsl.2019.78. PDF. arXiv. Bibtex.

  17. The Axiom of Determinacy implies Dependent Choice in mice

    Mathematical Logic Quarterly. Volume 65, Issue 3, October 2019. Pages 370-375.
    DOI: 10.1002/malq.201800077. PDF. arXiv. Bibtex.

  18. Long games and sigma-projective sets
    (with J. Aguilera and P. Schlicht)

    Annals of Pure and Applied Logic. Volume 172, Issue 4, April 2021. 102939.
    DOI: 10.1016/j.apal.2020.102939. PDF. arXiv. Bibtex.

  19. Every zero-dimensional homogeneous space is strongly homogeneous under determinacy
    (with R. Carroy and A. Medini)

    Journal of Mathematical Logic. Volume 20, Issue 3, March 2020. 2050015.
    DOI: 10.1142/S0219061320500154. PDF. arXiv. Bibtex.

  20. Mice with Finitely many Woodin Cardinals from Optimal Determinacy Hypotheses
    (with R. Schindler and W. H. Woodin)

    Journal of Mathematical Logic. Volume 20, Issue Supp01, October 2020. 1950013.
    DOI: 10.1142/S0219061319500132. PDF. arXiv. Bibtex.

  21. Reviews

  22. Determinacy and Large Cardinals

    Logic and Its Applications. Lecture Notes in Computer Science. Volume 13963.
    PDF. Bibtex.

  23. Consistency strength lower bounds for the proper forcing axiom via the core model induction

    Bulletin of Symbolic Logic. Volume 26, Issue 1, December 2020. Pages 89-92.
    DOI: 10.1017/bsl.2020.6. PDF. Bibtex.

Other Writings

Interdisciplinary Publications

In case you are interested: My ORCID identifier is 0000-0002-7224-187X and here is a link to my arxiv author page (where you can find some of the articles listed above).