Research

My research is primarily in logic and adjacent topics. My dissertation received the 2020 Sacks Prize from the Association for Symbolic Logic for the most outstanding dissertation in mathematical logic worldwide.

Published

Submitted

  • Characterizations of ordinal analysis [arXiv]

  • Reflection ranks via infinitary derivations, with Fedor Pakhomov [arXiv]

  • On the hierarchy of natural theories [arXiv]

Additional papers are not listed for the sake of blind refereeing.