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

Seminars

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

March 11, 2019 16:45

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

F. N. Pakhomov