#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk (online only)

27.10.2025 А.С. Морозов (ИМ СО РАН, https://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=19694): Представимость алгебраических структур над вещественными числами.

Изучаются два обобщения понятия вычислимой структуры: $\Sigma$-представимости алгебраических структур в наследственно конечной надстройке HF(R) над вещественными числами, а также для представимости с помощью машин Блюм-Шуба-Смейла, работающих в бесконечном времени (ITBM-вычислимости). Особое внимание уделено вопросам существования таких представлений для несчётных структур и количества таких представлений. 

➰ ВК