Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Walsh James
В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2
Лекций и докладов: 2

Статистика просмотров:
Эта страница:82
Страницы публикаций:74
E-mail:

https://www.mathnet.ru/rus/person131325
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
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

Доклады и лекции в базе данных 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   

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024