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

Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/).

Время: 2 октября (четверг), начало — в 16:00
Место: МИАН, ком. 530 + Контур.Толк

К.А. Ковалёв (МИАН), Л.В. Дворкин (МГУ)

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

Краткая аннотация доклада:

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

[ Доклад сделает К.А. Ковалёв. ]

Общая аннотация серии:

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

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

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

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

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

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

Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара:
https://www.mathnet.ru/conf2533

➰ ВК