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

В базах данных Math-Net.Ru
Публикаций: 30
Научных статей: 27
Лекций и докладов: 2

Статистика просмотров:
Эта страница:1659
Страницы публикаций:8661
Полные тексты:2712
Списки литературы:1232
кандидат физико-математических наук
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 Цитирования
2023
1. П. Е. Алаев, “Сложность операции обращения в группах”, Алгебра и логика, 62:2 (2023),  155–178  mathnet
2022
2. П. Е. Алаев, “Критерий $\mathrm{P}$-вычислимости структур”, Алгебра и логика, 61:5 (2022),  640–646  mathnet
3. П. Е. Алаев, “Конечно порожденные структуры, вычислимые за полиномиальное время”, Сиб. матем. журн., 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 8
2021
4. П. Е. Алаев, В. Л. Селиванов, “Поля алгебраических чисел, вычислимые за полиномиальное время. II”, Алгебра и логика, 60:6 (2021),  533–548  mathnet 2
2020
5. П. Е. Алаев, “Полиномиально вычислимые структуры с конечным числом порождающих”, Алгебра и логика, 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 9
2019
6. П. Е. Алаев, В. Л. Селиванов, “Поля алгебраических чисел, вычислимые за полиномиальное время. 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 18
2018
7. П. Е. Алаев, “Категоричность для примитивно рекурсивных и полиномиальных булевых алгебр”, Алгебра и логика, 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 12
8. П. Е. Алаев, В. Л. Селиванов, “Полиномиальная вычислимость полей алгебраических чисел”, Докл. РАН, 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 2
2017
9. П. Е. Алаев, “Структуры, вычислимые за полиномиальное время. 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
10. П. Е. Алаев, “Структуры, вычислимые за полиномиальное время. 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
11. П. Е. Алаев, “Существование и единственность структур, вычислимых за полиномиальное время”, Алгебра и логика, 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 20
12. П. Е. Алаев, “Безатомные булевы алгебры, вычислимые за полиномиальное время”, Сиб. электрон. матем. изв., 13 (2016),  1035–1039  mathnet  isi 3
2015
13. П. Е. Алаев, “Теорема Эша о $\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
14. П. Е. Алаев, “О суммах вычислимых ординалов”, Вестн. НГУ. Сер. матем., мех., информ., 14:2 (2014),  3–8  mathnet; P. E. Alaev, “On Sums of Computable Ordinals”, J. Math. Sci., 211:6 (2015), 719–723
2010
15. П. Е. Алаев, “Вычислимые идеалы в $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
16. П. Е. Алаев, Дж. Тёрбер, А. Н. Фролов, “Вычислимость на линейных порядках, обогащённых предикатами”, Алгебра и логика, 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
2008
17. П. Е. Алаев, “Счетно категоричные и автоустойчивые булевы алгебры с выделенными идеалами”, Матем. тр., 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 2
18. П. Е. Алаев, “Обобщенная иерархия Фейнера”, Сиб. матем. журн., 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
19. П. Е. Алаев, “Сильно конструктивные булевы алгебры”, Алгебра и логика, 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
20. П. Е. Алаев, “Автоустойчивые 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
21. П. Е. Алаев, “Вычислимые однородные булевы алгебры и одна метатеорема”, Алгебра и логика, 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 12
22. П. Е. Алаев, “Разрешимые булевы алгебры характеристики $(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
23. П. Е. Алаев, “Гиперарифметические булевы алгебры с выделенным идеалом”, Сиб. матем. журн., 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 8
2003
24. П. Е. Алаев, “Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях”, Алгебра и логика, 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
25. П. Е. Алаев, “Вычислимые семейства суператомных булевых алгебр”, Сиб. матем. журн., 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
26. П. Е. Алаев, “Сложность булевых алгебр и их ранг Скотта”, Алгебра и логика, 38:6 (1999),  643–666  mathnet  mathscinet
1996
27. П. Е. Алаев, “Ранги Скотта булевых алгебр”, Тр. Ин-та математики СО РАН, 30 (1996),  3–25  mathnet  mathscinet  zmath

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

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