Семинар прошел в дистанционном формате на онлайн-площадке Zoom. С докладом на тему «О полурешётках Роджерса в аналитической иерархии» выступил к.ф.-м.н., старший научный сотрудник лаборатории теории вычислимости и прикладной логики Института математики имени С.Л. Соболева СО РАН (г. Новосибирск) Баженов Николай Алексеевич. В докладе были рассмотрены нумерации семейств множеств, принадлежащих классам аналитической иерархии. Николаем Алексеевичем, был приведен обзор недавних результатов о типах изоморфизма и элементарных теориях для соответствующих полурешёток Роджерса.

Расписание предстоящих докладов и информацию о прошедших семинарах «Теория вычислимости» можно найти на странице семинара.

Анонс предстоящего заседания научного семинара «Теория вычислимости»:
Время: 3 июня (среда) 2020 г. 16:00 (мск.)
Докладчик: Михайловская Яна Алексеевна (аспирант кафедры алгебры и математической логики Института математики и механики им. Н.И. Лобачевского КФУ).
Название доклада: «Вычислимые линейные порядки, обогащённые отношениями специального вида».
Аннотация: Работа посвящена исследованию взаимосвязей отношений S^n_L на вычислимом линейном порядке L. В работе построены примеры вычислимых линейных порядков, на которых отношения S^n_L и S^{n+1}_L имеют разные тьюринговые степени. Была исследована замкнутость наверх в классе всех вычислимо перечислимых степеней отношения S^n_L на вычислимых линейных порядках, не являющихся \eta-схожими, а также была изучена вычислимая категоричность вычислимых линейных порядков специального вида.

Для участия в семинаре необходимо подключиться 3 июня после 15:50 по московскому времени к конференции Zoom по ссылке:
https://us04web.zoom.us/j/2252869439?pwd=MUhEbS95QlNkM0h2eHFzb2ErTURDZz09

Идентификатор конференции: 225 286 9439
Пароль: 7TVbdK