46/55 доказательный ординал теории

Описание к видео 46/55 доказательный ординал теории

Определение теоретико-доказательственного ординала арифметической теории второго порядка.
Тонкости использования переменных-множеств в данном определении.
Пример Крайзеля недоказуемо фундированного порядка типа ω.
Ординалы некоторых арифметических теорий.
Ординал Γ0 Фефермана-Шютте.
Напоминание определения последовательности Веблена.

💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: https://boosty.to/mathreisender

Добавление: заметил ошибку - ординалом теории ACA является \epsilon_{\epsilon_0}

Комментарии

Информация по комментариям в разработке

Похожие видео