Определение теоретико-доказательственного ординала арифметической теории второго порядка.
Тонкости использования переменных-множеств в данном определении.
Пример Крайзеля недоказуемо фундированного порядка типа ω.
Ординалы некоторых арифметических теорий.
Ординал Γ0 Фефермана-Шютте.
Напоминание определения последовательности Веблена.
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: [ Ссылка ]
Добавление: заметил ошибку - ординалом теории ACA является \epsilon_{\epsilon_0}
Ещё видео!