Walsh James

Presentations in Math-Net.Ru

1. An incompleteness theorem via ordinal analysis
   J. Walsh
   Seminars "Proof Theory" and "Logic Online Seminar"
   October 25, 2021 18:30   
2. On the naturalness of the consistency operator
   J. Walsh
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 17, 2017 15:00