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
Я. А. Михайловская, А. Н. Фролов, “Вычислимые линейные порядки и иерархия Ершова”, Изв. вузов. Матем., 2022, № 1, 85–89; Y. A. Michailovskaya, A. N. Frolov, “Computable linear orders and the Ershov hierarchy”, Russian Math. (Iz. VUZ), 66:1 (2022), 71–74
М. В. Зубков, А. Н. Фролов, “Спектральная универсальность линейных порядков с одним бинарным отношением”, Сиб. матем. журн., 61:3 (2020), 587–593; M. V. Zubkov, A. N. Frolov, “Spectral universality of linear orders with one binary relation”, Siberian Math. J., 61:3 (2020), 463–467
2019
3.
М. В. Зубков, И. Ш. Калимуллин, А. Г. Мельников, А. Н. Фролов, “Пунктуальные копии алгебраических структур”, Сиб. матем. журн., 60:6 (2019), 1271–1285; M. V. Zubkov, I. Sh. Kalimullin, A. G. Mel'nikov, A. N. Frolov, “Punctual copies of algebraic structures”, Siberian Math. J., 60:6 (2019), 993–1002
А. Н. Фролов, “Вычислимая представимость счетных линейных порядков”, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158 (2018), 81–115; A. N. Frolov, “Computable presentability of countable linear orders”, J. Math. Sci. (N. Y.), 256:2 (2021), 199–233
И. Ш. Калимуллин, В. Л. Селиванов, А. Н. Фролов, “Спектры степеней структур”, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158 (2018), 23–39; I. Sh. Kalimullin, V. L. Selivanov, A. N. Frolov, “Degree spectra of structures”, J. Math. Sci. (N. Y.), 256:2 (2021), 143–159
М. В. Зубков, А. Н. Фролов, “Вычислимые линейные порядки и предельно монотонные функции”, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157 (2018), 70–105; M. V. Zubkov, A. N. Frolov, “Computable linear orders and limitwise monotonic functions”, J. Math. Sci. (N. Y.), 256:1 (2021), 61–95
Я. А. Михайловская, А. Н. Фролов, “Вычислимые линейные порядки и иерархия Ершова”, Изв. вузов. Матем., 2018, № 1, 67–74; Ya. A. Mikhailovskaya, A. N. Frolov, “Computable linear orders and the Ershov hierarchy”, Russian Math. (Iz. VUZ), 62:1 (2018), 58–64
Н. А. Баженов, А. Н. Фролов, И. Ш. Калимуллин, А. Г. Мельников, “Вычислимость дистрибутивных решеток”, Сиб. матем. журн., 58:6 (2017), 1236–1251; N. A. Bazhenov, A. N. Frolov, I. Sh. Kalimullin, A. G. Melnikov, “Computability of distributive lattices”, Siberian Math. J., 58:6 (2017), 959–970
А. Н. Фролов, “Об одном вычислимом представлении низких линейных порядков”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 159:4 (2017), 518–528
10.
Р. И. Бикмухаметов, М. С. Еряшкин, А. Н. Фролов, “Спектр отношения блока $1$-вычислимых линейных порядков”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 159:3 (2017), 296–305
А. Н. Фролов, “Эффективная категоричность вычислимых линейных порядков”, Алгебра и логика, 54:5 (2015), 638–642; A. N. Frolov, “Effective categoricity of computable linear orderings”, Algebra and Logic, 54:5 (2015), 415–417
А. Н. Фролов, “Заметка о $\Delta_2^0$-спектрах линейных порядков и спектрах отношения соседства на них”, Изв. вузов. Матем., 2013, № 11, 74–78; A. N. Frolov, “A note on $\Delta_2^0$-spectra of linear orderings and degree spectra of the successor relation”, Russian Math. (Iz. VUZ), 57:11 (2013), 65–68
А. Н. Фролов, “Ранги $\eta$-функций $\eta$-схожих линейных порядков”, Изв. вузов. Матем., 2012, № 3, 96–99; A. N. Frolov, “Ranges of $\eta$-functions of $\eta$-like linear orderings”, Russian Math. (Iz. VUZ), 56:3 (2012), 87–89
А. Н. Фролов, “Представления отношения соседства вычислимого линейного порядка”, Изв. вузов. Матем., 2010, № 7, 73–85; A. N. Frolov, “Presentations of the successor relation of computably linear ordering”, Russian Math. (Iz. VUZ), 54:7 (2010), 64–74
А. Н. Фролов, “Линейные порядки низкой степени”, Сиб. матем. журн., 51:5 (2010), 1147–1162; A. N. Frolov, “Linear orderings of low degree”, Siberian Math. J., 51:5 (2010), 913–925
П. Е. Алаев, Дж. Тёрбер, А. Н. Фролов, “Вычислимость на линейных порядках, обогащённых предикатами”, Алгебра и логика, 48:5 (2009), 549–563; P. E. Alaev, J. Thurber, A. N. Frolov, “Computability on linear orderings enriched with predicates”, Algebra and Logic, 48:5 (2009), 313–320
А. Н. Фролов, “$\Delta_2^0$-копии линейных порядков”, Алгебра и логика, 45:3 (2006), 354–370; A. N. Frolov, “$\Delta_2^0$-Copies of Linear Orderings”, Algebra and Logic, 45:3 (2006), 201–209
А. Н. Фролов, “SET-1-сводимость на классе вычислимых множеств”, Изв. вузов. Матем., 2006, № 8, 69–75; A. N. Frolov, “SET-1 reducibility in the class of computable sets”, Russian Math. (Iz. VUZ), 50:8 (2006), 65–70
20.
А. Н. Фролов, “Теоретико-множественные сводимости по решетке множеств”, Изв. вузов. Матем., 2006, № 1, 57–67; A. N. Frolov, “Set-theoretic reducibilities in a lattice of sets”, Russian Math. (Iz. VUZ), 50:1 (2006), 55–64
А. Н. Фролов, “Теоретико-множественная структура вычислимых множеств”, Изв. вузов. Матем., 2003, № 10, 70–76; A. N. Frolov, “Set-theoretic structure of computable sets”, Russian Math. (Iz. VUZ), 47:10 (2003), 68–74
Обратная связь: