Семинары: J. P. Aguilera, Dilators and $\Pi_2^1$-ordinal analysis (continuation)

Семинары

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Календарь
	Поиск
	Регистрация семинара

	RSS
	Ближайшие семинары

Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
4 декабря 2023 г. 18:30, г. Москва, Zoom

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

J. P. Aguilera

Vienna University of Technology

*Видеозаписи:*
	MP4	927.6 Mb
	MP4	594.1 Mb
*Дополнительные материалы:*
	Adobe PDF	20.4 Mb

Количество просмотров:
Эта страница:	134
Видеофайлы:	21
Материалы:	9

Аннотация: 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.

Дополнительные материалы:

logic_online_seminar_notes.pdf (20.4 Mb)

Язык доклада: английский

Цикл докладов

Dilators and $\Pi_2^1$-ordinal analysis
J. P. Aguilera, 6 ноября 2023 г. 18:30
Dilators and $\Pi_2^1$-ordinal analysis (continuation)
J. P. Aguilera, 4 декабря 2023 г. 18:30
Dilators and $\Pi_2^1$-ordinal analysis, Part III
J. P. Aguilera, 11 декабря 2023 г. 18:30

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы