Here is a list of my publications:

  • Writing in the Zones for the Reading of Proofs in the Mathematics Classroom: A How-To Guide (with K. Minden), Early College Folio, 3: 49-58, 2024. journal
  • Capturing sets of ordinals by normal ultrapowers (with R. Honzík), Ann. Pure Appl. Logic, 174, 2023. arχiv || journal
  • A Mitchell-like order for Ramsey and Ramsey-like cardinals (with E. Carmody and V. Gitman), Fund. Math., 248: 1-32, 2020.
    arχiv || journal
  • Joint diamonds and Laver diamonds, J. Symb. Log., 84 (3): 895-928, 2019
    arχiv || journal
  • Set-theoretic blockchains (with J. D. Hamkins, L. D. Klausner, J. Verner, and K. J. Williams), Arch. Math. Log., 58: 965-997, 2019.
    arχiv || journal
  • The grounded Martin’s axiom, Math. Log. Quart., 63: 437–453, 2017.
    arχiv || journal
  • Cardinal-recognizing infinite time Turing machines, in The Nature of Computation. Logic, Algorithms, Applications. 9th Conference on Computability in Europe, CiE 2013, Paola Bonizzoni, Vasco Brattka, Benedikt Löwe, eds., Lecture Notes in Computer Science 7921, Springer (2013), 231–240.
    arχiv || journal
  • Joint Laver diamonds and grounded forcing axioms, PhD dissertation, The Graduate Center, CUNY, 2017.
    arχiv || CUNY Academic Works
  • More nonamalgamable forcing extensions (with C. Weng and C. Zhang), in preparation, 2024.