Уважаемые коллеги!
19 апреля (пятница) в 17:20 в 610 аудитории состоится семинар кафедры алгебры и математической логики.
Докладчик: Корнев Руслан Александрович (Новосибирский государственный университет, г. Новосибирск)
Название доклада: «Сводимость метрик на вещественной прямой».
Аннотация: Изучаются две сводимости метрик на вещественной прямой: вычислимая сводимость, индуцированная сводимостью представлений Коши, и её ослабленная версия. Доказывается, что существуют вычислимые метрики как ниже, так и выше стандартной метрики на R относительно слабой сводимости. Обсуждаются вопросы вложимости функционального дерева в упорядочение степеней метрик.