RUS
ENG
Full version
SEMINARS
April 8, 2019
16:30
Лекция 21. Нормальные формы
$\Pi^1_1$
-формул. Теорема Клини о равенстве классов
$\Delta^1_1$
и
$\mathsf{HYP}$
.
©
Steklov Math. Inst. of RAS
, 2024
