Уважаемые коллеги!

Представляем Вашему вниманию анонс предстоящего заседания научного семинара «Теория вычислимости»:

Время: 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