Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Walsh, James

Statistics Math-Net.Ru
Presentations: 2

Number of views:
This page:33
E-mail:

http://www.mathnet.ru/eng/person131325
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2021
1. Fedor Pakhomov, James Walsh, “Reducing $\omega$-model reflection to iterated syntactic reflection”, J. Math. Log., 2021,  1–38  mathnet  scopus
2020
2. Fedor Pakhomov, James Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 2020,  1–34  mathnet

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   

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2022