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

СЕМИНАРЫ


Рабочий семинар по математической логике 17 сентября 2025 г. 16:00, г. Москва, г. Москва, МИАН, комн. 104

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