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

СЕМИНАРЫ


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

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