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

Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk (очный доклад)

25.08.2025 В.Л. Селиванов (СПбГУ, https://www.mathnet.ru/person25638): О конструктивных вариантах сводимости Вэджа (очный доклад)

В докладе будут кратко и неформально обсуждены сводимость Вэджа (играющая заметную роль в дескриптивной теории множеств) и ее конструктивные варианты (играющие заметную роль в теории автоматов на бесконечных словах и деревьях). Конструктивные варианты сводимости Вэджа появились в контексте иерархии Вагнера регулярных языков бесконечных слов в виде замечательной теоремы Бюхи-Ландвебера.

Это обширное направление тесно связано с играми Гейла-Стюарта, теорией стройных частичных порядков, и теорией операций над множествами (сыгравшей основную роль в возникновении дескриптивной теории множеств более века назад).

➰ ВК