Walsh James

Доклады и лекции в базе данных Math-Net.Ru

1. An incompleteness theorem via ordinal analysis
   J. Walsh
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   25 октября 2021 г. 18:30   
2. On the naturalness of the consistency operator
   J. Walsh
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   17 октября 2017 г. 15:00