Вторник 19.05. А.С. Морозов: "О $\Sigma$-определимых структурах в HF(R)"

  • The directory /tmp/drutex-c6559a11dbde53f298450b3c6691c392-1 has been created.
  • The directory /tmp/drutex-c6559a11dbde53f298450b3c6691c392-2 has been created.
  • The directory /tmp/drutex-c6559a11dbde53f298450b3c6691c392-3 has been created.

Вторник, 19 мая, Zoom. Начало в 19:30.

Докладчик: А.С. Морозов (Институт математики им. С.Л. Соболева СО РАН).

Тема: О TeX Embedding failed!-определимых структурах в HF(R).

Abstract

Доклад представляет собой обзор результатов об алгебраических структурах, TeX Embedding failed!-определимых в наследственно конечной надстройке над вещественными числами, HF(R), являющейся частным случаем допустимых множеств. Это понятие можно рассматривать как одно из обобщений классического понятия вычислимой структуры на ситуацию, когда в качестве основного множества рассматривается множество всех мыслимых конечных программистских конструкций типа `список', `массив', `конечное множество', `конечный граф' и т.п., а в качестве вычислимости — возможность определить функции в некотором алгоритмическом языке высокого уровня, позволяющего вычислять основные операции над R, находить и использовать в дальнейших вычислениях корни уравнений.

Приводятся общие результаты о TeX Embedding failed!-определимых структурах и подмножествах HF(R), а также примеры и некоторые общие методы доказательства неопределимости различных структур.

Видеозапись:
https://youtu.be/ODxC0ghIx9c

Ссылка на Math-Net.Ru:
http://www.mathnet.ru/php/seminars.phtml?option_lang=rus&presentid=27129

Приложение