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