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

Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2
Presentations: 2

Number of views:
This page:103
Abstract pages:93
E-mail:

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

Publications in Math-Net.Ru Citations
2023
1. Fedor Pakhomov, James Walsh, “Reducing $\omega$-model reflection to iterated syntactic reflection”, J. Math. Log., 23:2 (2023),  2250001–38  mathnet  mathscinet  scopus 1
2021
2. Fedor Pakhomov, James Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021),  1350–1384  mathnet  mathscinet  isi  scopus 5

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, 2024