RUS  ENG
Полная версия
СЕМИНАРЫ

Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
20 марта 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom


Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of $\Pi^1_1-\mathsf{CA}_0$

F. N. Pakhomovab

a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
b Ghent University



Аннотация: In this talk I will sketch a new approach to ordinal analysis of $\Pi^1_1-\mathsf{CA}_0$ that uses the interplay of the methods of functorial proof theory and iterated reflection. An interesting feature of the approach is that it completely sidesteps predicative cut elimination.

Язык доклада: английский


© МИАН, 2024