Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Фролов Андрей Николаевич
доцент
доктор физико-математических наук (2004)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: ,
Ключевые слова: алгоритмические свойства множеств, вычислимые представления структур и отношений на структурах, спектры булевых алгебр, линейных порядков.
Коды УДК: 510.53, 512.562, 510.57, 512.565, 510.5, 510.6

Основные темы научной работы

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

https://www.mathnet.ru/rus/person35255
Список публикаций на Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/729769

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

Доклады и лекции в базе данных Math-Net.Ru
1. Алгоритмические свойства отношений на вычислимых линейных порядках
А. Н. Фролов
Вычислимые линейные порядки и линейно-упорядоченные структуры
21 сентября 2019 г.
2. Счетные линейные порядки и их алгоритмические свойства
А. Н. Фролов
Омский алгебраический семинар
21 ноября 2013 г. 16:00

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024