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

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:	94
Video files:	31
Materials:	8

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

Registration to the website

Logotypes