#матлог #учёба #спецсеминар

Семинар «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (https://homepage.mi-ras.ru/~sk/) и С.О. Сперанского (https://homepage.mi-ras.ru/~speranski/) в МИАН открывается в осеннем полугодии 2025 г. серией из четырёх докладов Константина Ковалёва и Льва Дворкина «О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств».

Доклады состоятся:
✅11 сентября (четверг) в 16:00, ауд. 530
✅17 сентября (среда) в 16:00, ауд. 110 (❗нестандартный день недели❗)
✅25 сентября (четверг) в 16:00, ауд. 530
✅2 октября (четверг) в 16:00, ауд. 530

Возможно также онлайн-подключение через Контур.толк. Для получения ссылки зарегистрируйтесь на странице семинара: https://www.mathnet.ru/conf2533

Аннотация:
В рамках четырёх запланированных заседаний семинара мы намерены детально изучить работу

R.M. Solovay, R.D. Arthan, J. Harrison. Some new results on decidability for elementary algebra and geometry. Annals of Pure and Applied Logic 163(12), 1765–1802, 2012.
https://doi.org/10.1016/j.apal.2012.04.003

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

Оказывается, что проверку выполнимости первопорядковых формул в векторных, предгильбертовых и гильбертовых пространствах можно свести к проверке выполнимости в поле вещественных чисел. Последняя, как известно, разрешима в силу теоремы Зайденберга–Тарского.

При переходе к метрическим, нормированным и банаховым пространствам ситуация кардинально меняется: здесь становится возможной интерпретация арифметики второго порядка, что влечёт за собой неразрешимость и даже неарифметичность теорий этих пространств. Однако, несмотря на общую неразрешимость, существуют разрешимые фрагменты. В частности, чисто универсальный и чисто экзистенциальный фрагменты теории нормированных пространств, а также универсально-экзистенциальный фрагмент теории метрических пространств разрешимы.

Мы планируем рассмотреть доказательства упомянутых результатов. Предполагается, что слушатели обладают базовыми знаниями о первопорядковых теориях и их моделях.

(Первый доклад сделает Лев Дворкин.)

➰ ВК