Seminars: F. N. Pakhomov, Лекция 12 Лемма об ограниченности для $\omega$-выводов и свойства $\Pi^1

SEMINARS

Лекция 12 Лемма об ограниченности для $\omega$-выводов и свойства $\Pi^1_1$-ординалов теорий F. N. Pakhomov
https://youtu.be/izdI3-yPztE