Seminars: J. P. Aguilera, Dilators and $\Pi_2^1$-ordinal analysis, Part III

SEMINARS


Seminars "Proof Theory" and "Logic Online Seminar" December 11, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom

Dilators and $\Pi_2^1$-ordinal analysis, Part III

J. P. Aguilera

Vienna University of Technology

Abstract: 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.

Language: English

Series of reports

Dilators and $\Pi_2^1$-ordinal analysis
J. P. Aguilera, November 6, 2023 18:30
Dilators and $\Pi_2^1$-ordinal analysis (continuation)
J. P. Aguilera, December 4, 2023 18:30
Dilators and $\Pi_2^1$-ordinal analysis, Part III
J. P. Aguilera, December 11, 2023 18:30