Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Баженов Николай Алексеевич
кандидат физико-математических наук (2014)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: ,
Сайт: https://bazhenov.droppages.com

https://www.mathnet.ru/rus/person78459
https://scholar.google.com/citations?user=pZuptvYAAAAJ&hl=ru
https://zbmath.org/authors/ai:bazhenov.n-a
https://mathscinet.ams.org/mathscinet/MRAuthorID/1019336
https://elibrary.ru/author_items.asp?spin=7831-7564
https://orcid.org/0000-0002-5834-2770
https://www.webofscience.com/wos/author/record/P-9326-2015
https://www.scopus.com/authid/detail.url?authorId=55507347000
https://www.researchgate.net/profile/Nikolay-Bazhenov

Публикации в базе данных Math-Net.Ru Цитирования
2023
1. Н. А. Баженов, М. И. Марчук, “О спектрах разрешимой категоричности для почти простых моделей”, Алгебра и логика, 62:4 (2023),  441–457  mathnet
2. N. Bazhenov, B. Kalmurzayev, M. Zubkov, “A note on joins and meets for positive linear preorders”, Сиб. электрон. матем. изв., 20:1 (2023),  1–16  mathnet
3. Б. С. Калмурзаев, Н. А. Баженов, Д. Б. Алиш, “Об универсальных позитивных графах”, Сиб. матем. журн., 64:1 (2023),  98–112  mathnet  mathscinet; B. S. Kalmurzaev, N. A. Bazhenov, D. B. Alish, “On universal positive graphs”, Siberian Math. J., 64:1 (2023), 83–93
2022
4. Ф. Ракымжанкызы, Н. А. Баженов, А. А. Исахов, Б. С. Калмурзаев, “Минимальные обобщённо вычислимые нумерации и семейства позитивных предпорядков”, Алгебра и логика, 61:3 (2022),  280–307  mathnet  mathscinet 1
5. Б. С. Калмурзаев, Н. А. Баженов, М. А. Торебекова, “Об индексных множествах для классов позитивных предпорядков”, Алгебра и логика, 61:1 (2022),  42–76  mathnet 1
2021
6. Н. А. Баженов, И. Ш. Калимуллин, “Спектры пунктуальной категоричности вычислимо категоричных структур”, Алгебра и логика, 60:3 (2021),  335–343  mathnet; N. A. Bazhenov, I. Sh. Kalimullin, “Punctual categoricity spectra of computably categorical structures”, Algebra and Logic, 60:3 (2021), 223–228  isi  scopus 1
7. Н. А. Баженов, Х. Ганчев, С. Ватев, “Вычислимые вложения для пар линейных порядков”, Алгебра и логика, 60:3 (2021),  251–285  mathnet; N. A. Bazhenov, H. Ganchev, S. Vatev, “Computable embeddings for pairs of linear orders”, Algebra and Logic, 60:3 (2021), 163–187  isi  scopus 2
8. N. Bazhenov, “HKSS-completeness of modal algebras”, Сиб. электрон. матем. изв., 18:2 (2021),  923–930  mathnet  isi
9. Н. А. Баженов, М. И. Марчук, “О спектрах категоричности для локально конечных графов”, Сиб. матем. журн., 62:5 (2021),  983–994  mathnet  elib; N. A. Bazhenov, M. I. Marchuk, “On categoricity spectra for locally finite graphs”, Siberian Math. J., 62:5 (2021), 796–804  scopus
10. Н. А. Баженов, М. Мустафа, С. С. Оспичев, “Об универсальных парах в иерархии Ершова”, Сиб. матем. журн., 62:1 (2021),  31–41  mathnet  elib; N. A. Bazhenov, M. Mustafa, S. S. Ospichev, “On universal pairs in the Ershov hierarchy”, Siberian Math. J., 62:1 (2021), 23–31  isi  scopus
2020
11. Н. А. Баженов, М. Мустафа, С. С. Оспичев, М. М. Ямалеев, “О нумерациях в аналитической иерархии”, Алгебра и логика, 59:5 (2020),  594–599  mathnet; N. A. Bazhenov, M. Mustafa, S. S. Ospichev, M. M. Yamaleev, “Numberings in the analytical hierarchy”, Algebra and Logic, 59:5 (2020), 404–407  isi  scopus 7
12. С. А. Бадаев, Н. А. Баженов, Б. С. Калмурзаев, “О структуре позитивных предпорядков”, Алгебра и логика, 59:3 (2020),  293–314  mathnet; S. A. Badaev, N. A. Bazhenov, B. S. Kalmurzaev, “The structure of computably enumerable preorder relations”, Algebra and Logic, 59:3 (2020), 201–215  isi  scopus 6
13. N. Bazhenov, M. Marchuk, “A note on decidable categoricity and index sets”, Сиб. электрон. матем. изв., 17 (2020),  1013–1026  mathnet  isi 1
2019
14. Н. А. Баженов, М. Харрисон-Трейнор, “Построение разрешимых графов по разрешимым структурам”, Алгебра и логика, 58:5 (2019),  553–573  mathnet; N. A. Bazhenov, M. Harrison-Trainor, “Constructing decidable graphs from decidable structures”, Algebra and Logic, 58:5 (2019), 369–382  isi  scopus 1
15. Н. А. Баженов, Б. С. Калмурзаев, “О слабо предполных отношениях эквивалентности в иерархии Ершова”, Алгебра и логика, 58:3 (2019),  297–319  mathnet; N. A. Bazhenov, B. S. Kalmurzaev, “Weakly precomplete equivalence relations in the Ershov hierarchy”, Algebra and Logic, 58:3 (2019), 199–213  isi  scopus 3
16. С. А. Александрова, Н. А. Баженов, “О разрешимости списочных структур”, Сиб. матем. журн., 60:3 (2019),  489–505  mathnet  elib; S. A. Aleksandrova, N. A. Bazhenov, “On decidability of list structures”, Siberian Math. J., 60:3 (2019), 377–388  isi  scopus 2
17. Н. А. Баженов, Б. С. Калмурзаев, “Полурешетки Роджерса семейств отношений эквивалентности в иерархии Ершова”, Сиб. матем. журн., 60:2 (2019),  290–305  mathnet  elib; N. A. Bazhenov, B. S. Kalmurzaev, “Rogers semilattices for families of equivalence relations in the Ershov hierarchy”, Siberian Math. J., 60:2 (2019), 223–234  isi  scopus 2
2018
18. Н. А. Баженов, Е. Б. Фокина, Д. Россеггер, Л. Сан Мауро, “О вычислимой бивложимой категоричности”, Алгебра и логика, 57:5 (2018),  601–608  mathnet; N. A. Bazhenov, E. B. Fokina, D. Rossegger, L. San Mauro, “Computable bi-embeddable categoricity”, Algebra and Logic, 57:5 (2018), 392–396  isi  scopus 4
19. Н. А. Баженов, М. И. Марчук, “Степени автоустойчивости простых булевых алгебр”, Алгебра и логика, 57:2 (2018),  149–174  mathnet; N. A. Bazhenov, M. I. Marchuk, “Degrees of autostability for prime Boolean algebras”, Algebra and Logic, 57:2 (2018), 98–114  isi  scopus
20. Н. А. Баженов, “Спектры категоричности вычислимых структур”, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157 (2018),  42–58  mathnet  mathscinet; N. A. Bazhenov, “Categoricity spectra of computable structures”, J. Math. Sci. (N. Y.), 256:1 (2021), 34–50 2
21. Н. А. Баженов, М. И. Марчук, “Степени автоустойчивости относительно сильных конструктивизаций графов”, Сиб. матем. журн., 59:4 (2018),  719–735  mathnet  elib; N. A. Bazhenov, M. I. Marchuk, “Degrees of autostability relative to strong constructivizations of graphs”, Siberian Math. J., 59:4 (2018), 565–577  isi  scopus 7
22. Н. А. Баженов, Б. С. Калмурзаев, “О темных вычислимо перечислимых отношениях эквивалентности”, Сиб. матем. журн., 59:1 (2018),  29–40  mathnet  elib; N. A. Bazhenov, B. S. Kalmurzaev, “On dark computably enumerable equivalence relations”, Siberian Math. J., 59:1 (2018), 22–30  isi  scopus 10
2017
23. N. Bazhenov, M. Mustafa, F. Stephan, M. Yamaleev, “Boolean algebras realized by c.e. equivalence relations”, Сиб. электрон. матем. изв., 14 (2017),  848–855  mathnet  isi
24. Н. А. Баженов, А. Н. Фролов, И. Ш. Калимуллин, А. Г. Мельников, “Вычислимость дистрибутивных решеток”, Сиб. матем. журн., 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
25. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций групп”, Сиб. матем. журн., 58:1 (2017),  95–103  mathnet  elib; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of the groups autostable relative to strong constructivizations”, Siberian Math. J., 58:1 (2017), 72–77  isi  elib  scopus 9
2016
26. Н. А. Баженов, “О степенях автоустойчивости для линейных порядков и линейно упорядоченных абелевых групп”, Алгебра и логика, 55:4 (2016),  393–418  mathnet; N. A. Bazhenov, “Degrees of autostability for linear orderings and linearly ordered Abelian groups”, Algebra and Logic, 55:4 (2016), 257–273  isi  scopus 11
27. Н. А. Баженов, И. Ш. Калимуллин, М. М. Ямалеев, “О строгих и нестрогих степенях категоричности”, Алгебра и логика, 55:2 (2016),  257–263  mathnet; N. A. Bazhenov, I. Sh. Kalimullin, M. M. Yamaleev, “Degrees of categoricity vs. strong degrees of categoricity”, Algebra and Logic, 55:2 (2016), 173–177  isi  scopus 15
28. Н. А. Баженов, “О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр”, Алгебра и логика, 55:2 (2016),  133–155  mathnet; N. A. Bazhenov, “Degrees of autostability relative to strong constructivizations for Boolean algebras”, Algebra and Logic, 55:2 (2016), 87–102  isi  scopus 15
2015
29. Н. А. Баженов, “Теорема о ветвлении и вычислимая категоричность в иерархии Ершова”, Алгебра и логика, 54:2 (2015),  137–157  mathnet  mathscinet; N. A. Bazhenov, “The branching theorem and computable categoricity in the Ershov hierarchy”, Algebra and Logic, 54:2 (2015), 91–104  isi  scopus
30. N. A. Bazhenov, “Automatic structures and the theory of lists”, Сиб. электрон. матем. изв., 12 (2015),  714–722  mathnet 1
31. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр”, Сиб. матем. журн., 56:3 (2015),  498–512  mathnet  mathscinet  elib; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of Boolean algebras autostable relative to strong constructivizations”, Siberian Math. J., 56:3 (2015), 393–404  isi  elib  scopus 18
32. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Вестн. НГУ. Сер. матем., мех., информ., 15:3 (2015),  51–60  mathnet; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of linear orderings that are autostable relative to strong constructivizations”, J. Math. Sci., 221:6 (2017), 840–848 5
33. Н. А. Баженов, “Булевы алгебры с выделенными эндоморфизмами и порождающие деревья”, Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015),  29–44  mathnet; N. A. Bazhenov, “Boolean algebras with distinguished endomorphisms and generating trees”, J. Math. Sci., 215:4 (2016), 460–474
2014
34. Н. А. Баженов, “Спектры автоустойчивости булевых алгебр”, Алгебра и логика, 53:6 (2014),  764–769  mathnet  mathscinet; N. A. Bazhenov, “Autostability spectra for Boolean algebras”, Algebra and Logic, 53:6 (2015), 502–505  isi  scopus 19
35. Н. А. Баженов, “О 2-вычислимо перечислимых степенях категоричности булевых алгебр с выделенным автоморфизмом”, Вестн. НГУ. Сер. матем., мех., информ., 14:1 (2014),  19–27  mathnet; N. A. Bazhenov, “D.c.e. degrees of categoricity for Boolean algebras with a distinguished automorphism”, J. Math. Sci., 211:6 (2015), 738–746 1
2013
36. Н. А. Баженов, “О вычислимых нумерациях класса булевых алгебр с выделенными эндоморфизмами”, Алгебра и логика, 52:5 (2013),  535–552  mathnet  mathscinet; N. A. Bazhenov, “Computable numberings of the class of Boolean algebras with distinguished endomorphisms”, Algebra and Logic, 52:5 (2013), 355–366  isi  scopus 3
37. Н. А. Баженов, “Степени категоричности суператомных булевых алгебр”, Алгебра и логика, 52:3 (2013),  271–283  mathnet  mathscinet; N. A. Bazhenov, “Degrees of categoricity for superatomic Boolean algebras”, Algebra and Logic, 52:3 (2013), 179–187  isi 14
38. Н. А. Баженов, Р. Р. Тухбатуллина, “О вычислимой категоричности булевой алгебры $\mathfrak B(\omega)$ с выделенным автоморфизмом”, Алгебра и логика, 52:2 (2013),  131–144  mathnet  mathscinet; N. A. Bazhenov, R. R. Tukhbatullina, “Computable categoricity of the Boolean algebra $\mathfrak B(\omega)$ with a distinguished automorphism”, Algebra and Logic, 52:2 (2013), 89–97  isi  scopus 1
39. Н. А. Баженов, “О $\Delta^0_2$-категоричности булевых алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 13:2 (2013),  3–14  mathnet 5
2012
40. Н. А. Баженов, Р. Р. Тухбатуллина, “Конструктивизируемость булевой алгебры $\mathfrak B(\omega)$ с выделенным автоморфизмом”, Алгебра и логика, 51:5 (2012),  579–607  mathnet  mathscinet  zmath; N. A. Bazhenov, R. R. Tukhbatullina, “Constructivizability of the Boolean algebra $\mathfrak B(\omega)$ with a distinguished automorphism”, Algebra and Logic, 51:5 (2012), 384–403  isi  scopus 6
41. Н. А. Баженов, “О категоричности булевых алгебр типа $\mathfrak{B}(\omega^{\alpha}\times\eta)$ в гиперарифметической иерархии”, Вестн. НГУ. Сер. матем., мех., информ., 12:3 (2012),  35–45  mathnet; N. A. Bazhenov, “Hyperarithmetical Categoricity of the Boolean Algebra $\mathfrak{B}(\omega^{\alpha}\times\eta)$”, J. Math. Sci., 202:1 (2014), 40–49 6

Доклады и лекции в базе данных Math-Net.Ru
1. Punctual structures, automatic structures and index sets. Part 2
N. A. Bazhenov, I. Sh. Kalimullin
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
8 апреля 2024 г. 18:30   
2. Конструктивные модели для неклассических предикатных логик. Лекция 2
Н. А. Баженов, И. Ш. Калимуллин
Мини-курс Н. А. Баженова и И. Ш. Калимуллина «Конструктивные модели для неклассических предикатных логик»
5 апреля 2024 г. 16:00   
3. Конструктивные модели для неклассических предикатных логик. Лекция 1
Н. А. Баженов, И. Ш. Калимуллин
Мини-курс Н. А. Баженова и И. Ш. Калимуллина «Конструктивные модели для неклассических предикатных логик»
4 апреля 2024 г. 16:00   
4. Punctual structures, automatic structures and index sets. Part 1
N. A. Bazhenov, I. Sh. Kalimullin
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
1 апреля 2024 г. 18:30   
5. Лекция 3. Элементарные теории абелевых групп
Н. А. Баженов
Мини-курс Н. А. Баженова «Элементарные теории абелевых групп»
13 апреля 2023 г. 16:30   
6. Лекция 2. Элементарные теории абелевых групп
Н. А. Баженов
Мини-курс Н. А. Баженова «Элементарные теории абелевых групп»
12 апреля 2023 г. 16:30   
7. Лекция 1. Элементарные теории абелевых групп
Н. А. Баженов
Мини-курс Н. А. Баженова «Элементарные теории абелевых групп»
11 апреля 2023 г. 16:30   
8. Learning for families of algebraic structures
N. A. Bazhenov
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
4 апреля 2023 г. 18:30   
9. On spectrally universal classes of structures
Н. А. Баженов
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
11 ноября 2022 г. 15:00   
10. О проблемах классификации для вычислимых алгебраических структур
Н. А. Баженов
Математический коллоквиум ИМ СО РАН
27 января 2022 г. 16:30
11. On positive preorders
Б. С. Калмурзаев, Н. А. Баженов, С. А. Бадаев
Конференция международных математических центров мирового уровня
12 августа 2021 г. 15:20
12. Primitive recursive and automatic structures
Н. А. Баженов, И. Ш. Калимуллин
Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
7 июля 2021 г. 11:30   

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