James Walsh

Office: 1043 Evans Hall
Email: walsh@math.berkeley.edu

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


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