Семинары: Л. Д. Беклемишев, Лекция 12. Формализация синтаксиса в арифметике

СЕМИНАРЫ


Спецкурс "Доказуемость и формальная арифметика" 8 декабря 2020 г. 14:30, Москва, online на платформе Zoom

Лекция 12. Формализация синтаксиса в арифметике Л. Д. Беклемишев
https://youtu.be/Of5M_VH96U0 Аннотация: Доказуемость схемы $\Sigma_1$-ограниченности из $\Sigma_1$-индукции. Эквивалентные формы схем индукции и ограниченности. Примитивно рекурсивная формализация синтаксиса. Доказуемая $\Sigma_1$-полнота и третье условие Лёба. Формализуемость синтаксиса в теории множеств.