RUS
ENG
Full version
SEMINARS
December 3, 2018
16:30
Лекция 10. Система обозначений для ординала
$\Gamma_0$
. Доказательства трансфинитной индукции вплоть до
$\varepsilon_0$
в
$\mathsf{PA}$
.
F. N. Pakhomov
https://youtu.be/Ez5g0IXTRD0
©
Steklov Math. Inst. of RAS
, 2025
