Семинары: J. P. Aguilera, Dilators and $\Pi

Семинары

RUS ENG

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

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

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

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

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

Dilators and $\Pi_2^1$-ordinal analysis

J. P. Aguilera

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

Количество просмотров:
Эта страница:	113
Видеофайлы:	32
Материалы:	8

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

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

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

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

Логотипы