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

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