Лекция 10. Система обозначений для ординала $\Gamma_0$. Доказательства трансфинитной индукции вплоть до $\varepsilon_0$ в $\mathsf{PA}$.
F. N. Pakhomov |
Video records: |
|
MP4 |
3,101.7 Mb |
|
MP4 |
1,408.3 Mb |
Number of views: |
This page: | 245 | Video files: | 66 | Youtube: | |
|