RUS
ENG
Full version
SEMINARS
April 1, 2019
16:30
Лекция 20.
$\alpha$
-большие множества и фундированность. Нормальные формы
$\Pi^1_1$
-формул.
F. N. Pakhomov
https://youtu.be/oF63KQni7LQ
©
Steklov Math. Inst. of RAS
, 2025
