Антон Фройнд — Сила улучшенных квазипорядков с помощью порядкового анализа, Лекция 1

Эта лекция была частью Летней школы «Обратная математика: новые парадигмы», проходившей в ESI с 28 июля по 1 августа 2025 года. Существует несколько способов усилить понятие обоснованности для порядков, не являющихся тотальными. Особенно интересным выбором является понятие лучшего квазиупорядочения (bqo), предложенное К. Нэшем-Уильямсом и сыгравшее ключевую роль в доказательстве гипотезы Фрэйсса, предложенном Р. Лавером. С точки зрения обратной математики, теория bqo основана на необычайно сильных аксиомах: даже утверждение, что все конечные порядки являются bqo, требует как минимум арифметической рекурсии по натуральному ряду (что совпадает с омега-прыжками Тьюринга; полученная теория обозначается как ACA_0^+). Возможно, это покажется удивительным, но единственное известное доказательство этого результата существенно использует ординальный анализ. Действительно, архетипический результат Г. Генцена о том, что арифметика Пеано (PA) имеет теоретико-доказательный ординал epsilon_0, всё ещё виден при анализе конечных bqos. В этом курсе я познакомлю вас с bqos, напомню об ординальном анализе PA и покажу, как эти два результата вместе приводят к вышеупомянутому результату о конечных порядках.