Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинар лаборатории математической логики (Санкт-Петербург)
19 мая 2020 г. 18:30, г. Санкт-Петербург, online
 


О $\Sigma$-определимых структурах в $\mathbb{HF} \left( \mathbb{R} \right)$

А. С. Морозов

Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск
Видеозаписи:
MP4 231.3 Mb
Дополнительные материалы:
Adobe PDF 649.3 Kb

Количество просмотров:
Эта страница:335
Видеофайлы:22
Материалы:27
Youtube:

А. С. Морозов



Аннотация: Доклад представляет собой обзор результатов об алгебраических структурах, $\Sigma$-определимых в наследственно конечной надстройке над вещественными числами, $\mathbb{HF} \left( \mathbb{R} \right)$, являющейся частным случаем допустимых множеств. Это понятие можно рассматривать как одно из обобщений классического понятия вычислимой структуры на ситуацию, когда в качестве основного множества рассматривается множество всех мыслимых конечных программистских конструкций типа ‘список’, ‘массив’, ‘конечное множество’, ‘конечный граф’ и т.п., а в качестве вычислимости — возможность определить функции в некотором алгоритмическом языке высокого уровня, позволяющего вычислять основные операции над $\mathbb{R}$, находить и использовать в дальнейших вычислениях корни уравнений.
Приводятся общие результаты о $\Sigma$-определимых структурах и подмножествах $\mathbb{HF} \left( \mathbb{R} \right)$, а также примеры и некоторые общие методы доказательства неопределимости различных структур.

Дополнительные материалы: morozov_spb_2020_slides.pdf (649.3 Kb)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024