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).

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s