RUS
ENG
Full version
SEMINARS
Seminars "Proof Theory" and "Logic Online Seminar"
November 6, 2023
18:30
, Moscow, Zoom
Dilators and
$\Pi_2^1$
-ordinal analysis
J. P. Aguilera
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
©
Steklov Math. Inst. of RAS
, 2024