Seminars: J. P. Aguilera, Dilators and $\Pi_2^1$-ordinal analysis (continuation)

SEMINARS


Seminars "Proof Theory" and "Logic Online Seminar" December 4, 2023 18:30, Moscow, Zoom

Dilators and $\Pi_2^1$-ordinal analysis (continuation)

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