Seminars
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Calendar
Search
Add a seminar
RSS
Forthcoming 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
Video records:
MP4
679.3 Mb
MP4
963.4 Mb
Supplementary materials:
Adobe PDF
20.4 Mb
Number of views:
This page:
110
Video files:
34
Materials:
10
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.
Supplementary materials:
logic_online_seminar_notes.pdf
(20.4 Mb)
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
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024