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

  • Evitable iterates of the consistency operator [arXiv]

  • A robust proof-theoretic well-ordering [arXiv]

  • A characterization of ordinal analysis [arXiv]

  • An incompleteness theorem via 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.