James Walsh

I am a student in the Group in Logic at UC Berkeley. My research is in mathematical logic and the foundations of mathematics.

Preprints

Reflection ranks and ordinal analysis, with Fedor Pakhomov [arXiv]
On the inevitability of the consistency operator, with Antonio Montalbán [arXiv]