Новости НОМЦ Приволжского федерального округа

13 мая состоялось заседание интернет-семинара «Теория вычислимости» НОМЦ Приволжского федерального округа КФУ

Семинар прошел в дистанционном формате на онлайн-площадке Zoom. С докладом на тему «О категоричности и би-вложимой категоричности разреженных линейных порядков» выступил доцент кафедры алгебры и математической логики ИМиМ им. Н.И. Лобачевского КФУ, к.ф.-м.н. Зубков Максим Витальевич. В докладе были приведены точные верхние и нижние оценки на уровни категоричности и уровни би-вложимой категоричности разреженных линейных порядков.

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

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

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