#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Семинар отдела математической логики, Logic Online Seminar (www.mathnet.ru/rus/conf876)
Proof Society Seminar (https://www.proofsociety.org/proof-society-seminar/)

Время: 15 декабря 2025 (понедельник), начало — в 16:00 по Москве
Место: онлайн

Anton Freund (Wuerzburg University): Approaching Girard's functor Lambda

Abstract: Girard has claimed that Pi^1_1-comprehension corresponds to his functor Lambda on dilators. He described a plausible proof around 1980, but it seems that details remain difficult. This talk presents joint work with Aguilera and Weiermann, in which we give a detailed proof that Pi^1_1-comprehension corresponds to a variant of Lambda, namely the functor J of Päppinghaus. No prior knowledge of dilators is assumed.

➰ ВК