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

Спецкурс "Теория доказательств и формальная арифметика" Лекция 3. Л.Д. Беклемишев. Определимость в языке арифметики. Арифметическая иерархия формул. Разрешимость $\Delta_0$-предикатов и перечислимость $\Sigma_1$-предикатов в стандартной модели арифметики. Разрешимость $\Delta_0$-формул в теории. $\Sigma_1$-полнота MA. Вспомогательные леммы и доказательство теоремы о $\Sigma_1$-полноте минимальной арифметики. 6 октября 2020 г. 14:30, Москва, online на платформе Zoom Источник:
Все видео курса: www.mathnet.ru/conf1834    • 2020 г. Logic Online Seminar and Proof The...