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