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.

Submitted

  • Characterizations of ordinal analysis [arXiv]

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

  • On the hierarchy of natural theories [arXiv]

  • Use and mention in formal languages

Published

Journal Articles

Conference Proceedings

Reviews

  • A note on the unprovability of consistency in formal theories of truth, by Kevin Davey
    Mathematical Reviews, MR4340960, 2022

  • A dialogical route to logical pluralism, by Rohan French
    Mathematical Reviews, MR4306106, 2022

  • Local reflection, definable elements, and 1-provability, by Evgeny Kolmakov
    Mathematical Reviews, MR4159764, 2022