Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: ,
Ключевые слова: алгоритмические свойства множеств,
вычислимые представления структур и отношений на структурах,
спектры булевых алгебр,
линейных порядков.
Коды УДК: 510.53, 512.562, 510.57, 512.565, 510.5, 510.6
Основные темы научной работы:
Теория вычислимости, теория вычислимых структур.
Основные публикации:
А. Н. Фролов, “Линейные порядки низкой степени”, Сиб. матем. журн., 51:5 (2010), 1147–1162
Frolov A.N., “Low linear orderings”, Journal of Logic and Computation, 22:4 (2012), 745-754
А. Н. Фролов, “Представления отношения соседства вычислимого линейного порядка”, Изв. вузов. Матем., 2010, № 7, 73–85
А. Н. Фролов, “Вычислимая представимость счетных линейных порядков”, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 158 (2018), 81–115
М. В. Зубков, А. Н. Фролов, “Вычислимые линейные порядки и предельно монотонные функции”, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 157 (2018), 70–105