Here is a list of my publications:
- The grounded Martin’s axiom, to appear in Math. Logic Quarterly, 2017.
- 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
- Joint diamonds and Laver diamonds, submitted, 2017.
- A Mitchell-like order for Ramsey and Ramsey-like cardinals (with E. Carmody and V. Gitman), under review, 2016.