Ф.Н. Пахомов. Лекция 23. HYP, как наименьшая ω-модель теории Σ11-AC0. Теория ATR0…