Аннотация:
В докладе будет дан обзор результатов, касающихся роли ординалов и систем ординальных обозначений при исследовании формальных теорий, а также имеющихся открытых проблем в этой области. Возникшее недавно понятие спектра консервативности несет больше информации о формальной теории, чем её ординал. Оно приводит к структурам алгебраического типа, связываемым с данной теорией, что позволяет получить более тонкую их классификацию, чем при традиционном подходе.
Обратная связь: