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.


  • 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


Journal Articles

Conference Proceedings


  • 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