О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 3

Мы рассмотрим верхние оценки для теорий нормированных, банаховых и метрических пространств. Будет показано, что теория конечномерных нормированных пространств имеет ту же сложность, что и полная арифметика второго порядка, а теории всех нормированных пространств, всех банаховых пространств и всех метрических пространств сводятся к $\Pi^2_1$-фрагменту арифметики третьего порядка.
Общая аннотация серии — на странице первого доклада.