Лекция 23. $\mathsf{HYP}$, как наименьшая $\omega$-модель теории $\Sigma^1_1\textrm{-}\mathsf{AC}_0$. Теория $\mathsf{ATR}_0$ и детерминированность открытых игр.
F. N. Pakhomov |
Video records: |
|
MP4 |
3,042.7 Mb |
|
MP4 |
1,381.5 Mb |
Number of views: |
This page: | 271 | Video files: | 31 | Youtube: | |
|