49 прогрессии Тьюринга

Обсуждаем арифметические прогрессии Тьюринга, основанные на трансфинитных итерациях схем рефлексий. Теорема Шмерля и ее следствия. Порядок, порождаемый оператором Consis. Теорема Генцена как следствие теоремы Шмерля. Ординал одной теории относительно прогрессии Тьюринга другой, более слабой, теории. Примеры ординалов арифметических теорий. 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: