Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Алаев Павел Евгеньевич

В базах данных
Публикаций: 31
Научных статей: 28
Лекций и докладов: 2

Статистика просмотров:
Эта страница:43
Страницы публикаций:397
Полные тексты:149
Списки литературы:86
кандидат физико-математических наук
E-mail:

https://www.mathnet.ru/rus/person28604
Список публикаций на Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/624015
https://orcid.org/0000-0001-5438-3092

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. П. Е. Алаев, Е. И. Хлестова, “Разрешимые модели эренфойхтовых теорий”, Алгебра и логика, 63:3 (2024),  235–247  mathnet; P. E. Alaev, E. I. Khlestova, “Decidable models of Ehrenfeucht theories”, Algebra and Logic, 63:3 (2024), 155–163
2023
2. П. Е. Алаев, “Сложность операции обращения в группах”, Алгебра и логика, 62:2 (2023),  155–178  mathnet; P. E. Alaev, “The complexity of inversion in groups”, Algebra and Logic, 62:2 (2023), 103–118 3
2022
3. П. Е. Алаев, “Критерий $\mathrm{P}$-вычислимости структур”, Алгебра и логика, 61:5 (2022),  640–646  mathnet; P. E. Alaev, Algebra and Logic, 61:5 (2022), 437–441 2
4. П. Е. Алаев, “Конечно порожденные структуры, вычислимые за полиномиальное время”, Сиб. матем. журн., 63:5 (2022),  953–974  mathnet  mathscinet; P. E. Alaev, “Finitely generated structures computable in polynomial time”, Siberian Math. J., 63:5 (2022), 801–818 7
2021
5. П. Е. Алаев, В. Л. Селиванов, “Поля алгебраических чисел, вычислимые за полиномиальное время. II”, Алгебра и логика, 60:6 (2021),  533–548  mathnet; P. E. Alaev, V. L. Selivanov, “Fields of algebraic numbers computable in polynomial time. II”, Algebra and Logic, 60:6 (2021), 349–359 7
2020
6. П. Е. Алаев, “Полиномиально вычислимые структуры с конечным числом порождающих”, Алгебра и логика, 59:3 (2020),  385–394  mathnet; P. E. Alaev, “Polynomially computable structures with finitely many generators”, Algebra and Logic, 59:3 (2020), 266–272  isi  scopus 8
2019
7. П. Е. Алаев, В. Л. Селиванов, “Поля алгебраических чисел, вычислимые за полиномиальное время. I”, Алгебра и логика, 58:6 (2019),  673–705  mathnet; P. E. Alaev, V. L. Selivanov, “Fields of algebraic numbers computable in polynomial time. I”, Algebra and Logic, 58:6 (2020), 447–469  isi  scopus 16
2018
8. П. Е. Алаев, “Категоричность для примитивно рекурсивных и полиномиальных булевых алгебр”, Алгебра и логика, 57:4 (2018),  389–425  mathnet; P. E. Alaev, “Categoricity for primitive recursive and polynomial Boolean algebras”, Algebra and Logic, 57:4 (2018), 251–274  isi  scopus 13
9. П. Е. Алаев, В. Л. Селиванов, “Полиномиальная вычислимость полей алгебраических чисел”, Докл. РАН, 481:4 (2018),  355–357  mathnet  zmath  elib; P. E. Alaev, V. L. Selivanov, “Polynomial computability of fields of algebraic numbers”, Dokl. Math., 98:1 (2018), 341–343  isi  elib  scopus 5
2017
10. П. Е. Алаев, “Структуры, вычислимые за полиномиальное время. II”, Алгебра и логика, 56:6 (2017),  651–670  mathnet; P. E. Alaev, “Structures computable in polynomial time. II”, Algebra and Logic, 56:6 (2018), 429–442  isi  scopus 12
2016
11. П. Е. Алаев, “Структуры, вычислимые за полиномиальное время. I”, Алгебра и логика, 55:6 (2016),  647–669  mathnet; P. E. Alaev, “Structures computable in polynomial time. I”, Algebra and Logic, 55:6 (2017), 421–435  isi  scopus 34
12. П. Е. Алаев, “Существование и единственность структур, вычислимых за полиномиальное время”, Алгебра и логика, 55:1 (2016),  106–112  mathnet  elib; P. E. Alaev, “Existence and uniqueness of structures computable in polynomial time”, Algebra and Logic, 55:1 (2016), 72–76  isi  scopus 21
13. П. Е. Алаев, “Безатомные булевы алгебры, вычислимые за полиномиальное время”, Сиб. электрон. матем. изв., 13 (2016),  1035–1039  mathnet  isi 3
2015
14. П. Е. Алаев, “Теорема Эша о $\Delta^0_\alpha$-категоричных структурах и признак бесконечной $\Delta^0_\alpha$-размерности”, Алгебра и логика, 54:5 (2015),  551–574  mathnet  mathscinet; P. E. Alaev, “Ash’s theorem on $\Delta^0_\alpha$-categorical structures and a condition for infinite $\Delta^0_\alpha$-dimension”, Algebra and Logic, 54:5 (2015), 353–369  isi  scopus
2014
15. П. Е. Алаев, “О суммах вычислимых ординалов”, Вестн. НГУ. Сер. матем., мех., информ., 14:2 (2014),  3–8  mathnet; P. E. Alaev, “On Sums of Computable Ordinals”, J. Math. Sci., 211:6 (2015), 719–723
2010
16. П. Е. Алаев, “Вычислимые идеалы в $I$-алгебрах”, Алгебра и логика, 49:2 (2010),  157–174  mathnet  mathscinet  zmath; P. E. Alaev, “Computable ideals in $I$-algebras”, Algebra and Logic, 49:2 (2010), 103–114  isi  scopus 1
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 23
2008
18. П. Е. Алаев, “Счетно категоричные и автоустойчивые булевы алгебры с выделенными идеалами”, Матем. тр., 11:1 (2008),  3–24  mathnet  mathscinet; P. E. Alaev, “Countably categorical and autostable Boolean algebras with distinguished ideals”, Siberian Adv. Math., 18:4 (2008), 227–241 3
19. П. Е. Алаев, “Обобщенная иерархия Фейнера”, Сиб. матем. журн., 49:2 (2008),  243–255  mathnet  mathscinet  zmath; P. E. Alaev, “A generalized Feiner hierarchy”, Siberian Math. J., 49:2 (2008), 191–201  isi  scopus
2005
20. П. Е. Алаев, “Сильно конструктивные булевы алгебры”, Алгебра и логика, 44:1 (2005),  3–23  mathnet  mathscinet  zmath; P. E. Alaev, “Strongly constructive Boolean algebras”, Algebra and Logic, 44:1 (2005), 1–12  scopus 5
2004
21. П. Е. Алаев, “Автоустойчивые I-алгебры”, Алгебра и логика, 43:5 (2004),  511–550  mathnet  mathscinet  zmath; P. E. Alaev, “Autostable $\rm I$-Algebras”, Algebra and Logic, 43:5 (2004), 285–306  scopus 13
22. П. Е. Алаев, “Вычислимые однородные булевы алгебры и одна метатеорема”, Алгебра и логика, 43:2 (2004),  133–158  mathnet  mathscinet  zmath; P. E. Alaev, “Computable Homogeneous Boolean Algebras and a Metatheorem”, Algebra and Logic, 43:2 (2004), 73–87  scopus 11
23. П. Е. Алаев, “Разрешимые булевы алгебры характеристики $(1,0,1)$”, Матем. тр., 7:1 (2004),  3–12  mathnet  mathscinet  zmath; P. E. Alaev, “Decidable Boolean Algebras of Characteristic $(1,0,1)$”, Siberian Adv. Math., 15:1 (2005), 1–10 6
24. П. Е. Алаев, “Гиперарифметические булевы алгебры с выделенным идеалом”, Сиб. матем. журн., 45:5 (2004),  963–976  mathnet  mathscinet  zmath; P. E. Alaev, “Hyperarithmetical Boolean algebras with a distinguished ideal”, Siberian Math. J., 45:5 (2004), 795–805  isi 7
2003
25. П. Е. Алаев, “Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях”, Алгебра и логика, 42:4 (2003),  391–412  mathnet  mathscinet  zmath; P. E. Alaev, “Constructive and Non-Constructive Infinite Formulas in Computable Structures”, Algebra and Logic, 42:4 (2003), 219–231  scopus 1
26. П. Е. Алаев, “Вычислимые семейства суператомных булевых алгебр”, Сиб. матем. журн., 44:4 (2003),  717–725  mathnet  mathscinet  zmath; P. E. Alaev, “Computable families of superatomic Boolean algebras”, Siberian Math. J., 44:4 (2003), 561–567  isi
1999
27. П. Е. Алаев, “Сложность булевых алгебр и их ранг Скотта”, Алгебра и логика, 38:6 (1999),  643–666  mathnet  mathscinet
1996
28. П. Е. Алаев, “Ранги Скотта булевых алгебр”, Тр. Ин-та математики СО РАН, 30 (1996),  3–25  mathnet  mathscinet  zmath

2019
29. Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, Б. С. Байжанов, Б. Ш. Кулпешов, П. Е. Алаев, А. В. Васильев, Е. В. Васильев, Е. П. Вдовин, В. В. Вербовский, А. А. Викентьев, Д. Ю. Власов, М. А. Гречкосеева, В. Н. Желябин, П. С. Колесников, В. М. Копытов, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. В. Овчинникова, С. П. Одинцов, Д. Е. Пальчунов, Н. А. Перязев, А. Г. Пинус, Л. Н. Победин, А. П. Пожидаев, Б. Пуаза, В. Г. Пузаренко, Д. О. Ревин, В. Н. Ремесленников, Н. С. Романовский, А. Н. Ряскин, С. С. Старченко, А. А. Степанова, С. В. Судоплатов, Е. И. Тимошенко, Д. А. Тусупов, Н. Г. Хисамиев, В. А. Чуркин, З. Шатзидакис, М. В. Швидефски, К. М. Шегиров, И. П. Шестаков, “Евгений Андреевич Палютин (1945–2018)”, Сиб. электрон. матем. изв., 16 (2019),  1–10  mathnet  isi
2013
30. П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013),  30–34  mathnet
2011
31. Ю. Л. Ершов, В. Д. Мазуров, П. Е. Алаев, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, Е. А. Палютин, С. Ю. Подзоров, “Сергей Савостьянович Гончаров (к 60-летию со дня рождения)”, Сиб. матем. журн., 52:5 (2011),  959–961  mathnet  mathscinet

Доклады и лекции в базе данных Math-Net.Ru
1. Fields computable in polynomial time
Pavel Alaev
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
27 октября 2022 г. 11:10   
2. Complexity of structures
П. Е. Алаев, В. Л. Селиванов
Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
8 июля 2021 г. 12:45   

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