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

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 21 сентября 16:00 MSK (UTC+3), Kontur Talk (онлайн-заседание)

Н.А. Баженов (Nanyang Technological University, https://dr.ntu.edu.sg/entities/person/Nikolay-Bazhenov)

О степенях Вайрауха для проблем эффективной категоричности

Аннотация:

Исследования эффективной категоричности вычислимых структур восходят к работам А.И. Мальцева. Для данной тьюринговой степени d говорят, что вычислимая структура S является d-вычислимо категоричной, если для любой вычислимой изоморфной копии A структуры S существует d-вычислимый изоморфизм, действующий из A на S. Спектр категоричности структуры S состоит из всех степеней d, таких что структура S d-вычислимо категорична. В докладе будет представлен подход к изучению спектров категоричности, основанный на сводимости по Вайрауху (являющейся одним из стандартных инструментов современного вычислимого анализа).

Доклад основан на совместной работе с J. Jacobsen-Grocott, L. Ko, H.T. Koh и K.M. Ng.