Семинары: J. P. Aguilera, Dilators and $\Pi

СЕМИНАРЫ


Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 6 ноября 2023 г. 18:30, г. Москва, Zoom

Dilators and $\Pi_2^1$-ordinal analysis

J. P. Aguilera

Аннотация: Joint work with Fedor Pakhomov.
In this talk we will present a gentle introduction to the recent advances in the methods of analysis of $\Pi_2^1$-consequences of second order arithmetic theories based on the notion of dilator.

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

Цикл докладов

Dilators and $\Pi_2^1$-ordinal analysis
J. P. Aguilera, 6 ноября 2023 г. 18:30
Dilators and $\Pi_2^1$-ordinal analysis (continuation)
J. P. Aguilera, 4 декабря 2023 г. 18:30
Dilators and $\Pi_2^1$-ordinal analysis, Part III
J. P. Aguilera, 11 декабря 2023 г. 18:30