Семинары: К. А. Ковалев, Л. В. Дворкин, О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств

СЕМИНАРЫ


Рабочий семинар по математической логике 25 сентября 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)

О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 3 К. А. Ковалев, Л. В. Дворкин
Аннотация: Мы рассмотрим верхние оценки для теорий нормированных, банаховых и метрических пространств. Будет показано, что теория конечномерных нормированных пространств имеет ту же сложность, что и полная арифметика второго порядка, а теории всех нормированных пространств, всех банаховых пространств и всех метрических пространств сводятся к $\Pi^2_1$-фрагменту арифметики третьего порядка. Общую аннотацию серии докладов можно найти здесь.