Лекция 3.Определимость в языке арифметики

Арифметическая иерархия формул. Разрешимость $\Delta_0$-предикатов и перечислимость $\Sigma_1$-предикатов в стандартной модели арифметики. Разрешимость $\Delta_0$-формул в теории. $\Sigma_1$-полнота MA. Вспомогательные леммы и доказательство теоремы о $\Sigma_1$-полноте минимальной арифметики.