Seminars: F. N. Pakhomov, Лекция 17. Системы арифметики второго порядка $\mathsf{ACA}_0$, $\mathsf{RCA}_0$ и $\mathsf{WKL}

SEMINARS

Лекция 17. Системы арифметики второго порядка $\mathsf{ACA}_0$, $\mathsf{RCA}_0$ и $\mathsf{WKL}_0$. F. N. Pakhomov
https://youtu.be/Dsj7IRdP6GE