Нет фото Николай Алексеевич Баженов

Баженов Николай Алексеевич

Кандидат физико-математических наук

20162022

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Поиск результатов

  • 2022

    Well-Orders Realized by C.E. Equivalence Relations

    Bazhenov, N. & Zubkov, M., 2022, Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Proceedings. Berger, U., Pauly, A., Franklin, J. N. Y. & Manea, F. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 13-23 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13359 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • 2021

    Categoricity Spectra of Computable Structures

    Bazhenov, N. A., июл 2021, В: Journal of Mathematical Sciences (United States). 256, 1, стр. 34-50 17 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    Открытый доступ
  • Degrees of bi-embeddable categoricity

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 2021, В: Computability. 10, 1, стр. 1-16 16 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

  • On Universal Pairs in the Ershov Hierarchy

    Bazhenov, N. A., Mustafa, M. & Ospichev, S. S., янв 2021, В: Siberian Mathematical Journal. 62, 1, стр. 23-31 9 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

  • 2020

    A Note on Computable Embeddings for Ordinals and Their Reverses

    Bazhenov, N. & Vatev, S., 1 июл 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (ред.). Springer Gabler, стр. 1-13 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12098 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    Открытый доступ
  • Classifying equivalence relations in the Ershov hierarchy

    Bazhenov, N., Mustafa, M., San Mauro, L., Sorbi, A. & Yamaleev, M., 1 ноя 2020, В: Archive for Mathematical Logic. 59, 7-8, стр. 835-864 30 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    Открытый доступ
  • Decompositions of decidable abelian groups

    Bazhenov, N., Goncharov, S. & Melnikov, A., 1 фев 2020, В: International Journal of Algebra and Computation. 30, 1, стр. 49-90 42 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    3 Цитирования (Scopus)
  • Definable subsets of polynomial-time algebraic structures

    Bazhenov, N., 1 янв 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ред.). Springer Gabler, стр. 142-154 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12159 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Learning families of algebraic structures from informant

    Bazhenov, N., Fokina, E. & San Mauro, L., дек 2020, В: Information and Computation. 275, 17 стр., 104590.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

  • Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

    Bazhenov, N. A., Mustafa, M., San Mauro, L. & Yamaleev, M. M., 1 фев 2020, В: Lobachevskii Journal of Mathematics. 41, 2, стр. 145-150 6 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

  • Numberings in the Analytical Hierarchy

    Bazhenov, N. A., Mustafa, M., Ospichev, S. S. & Yamaleev, M. M., ноя 2020, В: Algebra and Logic. 59, 5, стр. 404-407 4 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    2 Цитирования (Scopus)
  • Semilattices of Punctual Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 2020, Theory and Applications of Models of Computation - 16th International Conference, TAMC 2020, Proceedings. Chen, J., Feng, Q. & Xu, J. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 1-12 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12337 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Strong Degrees of Categoricity and Weak Density

    Bazhenov, N. A., Kalimullin, I. S. & Yamaleev, M. M., сен 2020, В: Lobachevskii Journal of Mathematics. 41, 9, стр. 1630-1639 10 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    1 Цитирования (Scopus)
  • 2019

    Automatic and Polynomial-Time Algebraic Structures

    Bazhenov, N., Harrison-Trainor, M., Kalimullin, I., Melnikov, A. & Ng, K. M., 1 дек 2019, В: Journal of Symbolic Logic. 84, 4, стр. 1630-1669 40 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    7 Цитирования (Scopus)
  • Bounded Reducibility for Computable Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 1 янв 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 96-107 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Computable Contact Algebras

    Bazhenov, N., 1 янв 2019, В: Fundamenta Informaticae. 167, 4, стр. 257-269 13 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

  • Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 янв 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (ред.). Springer-Verlag GmbH and Co. KG, стр. 28-41 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11436 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    1 Цитирования (Scopus)
  • Constructing Decidable Graphs from Decidable Structures

    Bazhenov, N. A. & Harrison-Trainor, M., 1 ноя 2019, В: Algebra and Logic. 58, 5, стр. 369-382 14 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    1 Цитирования (Scopus)
  • Degrees of bi-embeddable categoricity of equivalence structures

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 1 авг 2019, В: Archive for Mathematical Logic. 58, 5-6, стр. 543-563 21 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    3 Цитирования (Scopus)
  • Effective Embeddings for Pairs of Structures

    Bazhenov, N., Ganchev, H. & Vatev, S., 1 янв 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 84-95 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Elementary theories and hereditary undecidability for semilattices of numberings

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 9 мая 2019, В: Archive for Mathematical Logic. 58, 3-4, стр. 485-500 16 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    3 Цитирования (Scopus)
  • Foundations of online structure theory

    Bazhenov, N., Downey, R., Kalimullin, I. & Melnikov, A., 1 июн 2019, В: Bulletin of Symbolic Logic. 25, 2, стр. 141-181 41 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    Открытый доступ
    14 Цитирования (Scopus)
  • On Decidability of List Structures

    Aleksandrova, S. A. & Bazhenov, N. A., 1 мая 2019, В: Siberian Mathematical Journal. 60, 3, стр. 377-388 12 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    1 Цитирования (Scopus)
  • Rogers Semilattices for Families of Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 мар 2019, В: Siberian Mathematical Journal. 60, 2, стр. 223-234 12 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

  • Weakly Precomplete Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 июл 2019, В: Algebra and Logic. 58, 3, стр. 199-213 15 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    1 Цитирования (Scopus)
  • Построение разрешимых графов по разрешимым структурам

    Баженов, Н. А. & Harrison-Trainor, M., 2019, В: Алгебра и логика. 58, 5, стр. 553-573 21 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

  • 2018

    Autostability spectra for decidable structures

    Bazhenov, N., 1 мар 2018, В: Mathematical Structures in Computer Science. 28, 3, стр. 392-411 20 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    10 Цитирования (Scopus)
  • Computable Bi-Embeddable Categoricity

    Bazhenov, N. A., Fokina, E. B., Rossegger, D. & San Mauro, L., 1 ноя 2018, В: Algebra and Logic. 57, 5, стр. 392-396 5 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    2 Цитирования (Scopus)
  • Degrees of Autostability for Prime Boolean Algebras

    Bazhenov, N. A. & Marchuk, M. I., 1 июн 2018, В: Algebra and Logic. 57, 2, стр. 98-114 17 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

  • Degrees of Autostability Relative to Strong Constructivizations of Graphs

    Bazhenov, N. A. & Marchuk, M. I., 1 июл 2018, В: Siberian Mathematical Journal. 59, 4, стр. 565-577 13 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    1 Цитирования (Scopus)
  • Degrees of categoricity and spectral dimension

    Bazhenov, N. A., Kalimullin, I. S. H. & Yamaleev, M. M., 1 мар 2018, В: Journal of Symbolic Logic. 83, 1, стр. 103-116 14 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    7 Цитирования (Scopus)
  • Degrees of categoricity for prime and homogeneous models

    Bazhenov, N. & Marchuk, M., 1 янв 2018, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Proceedings. Manea, F., Miller, RG. & Nowotka, D. (ред.). Springer-Verlag GmbH and Co. KG, стр. 40-49 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10936 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    3 Цитирования (Scopus)
  • On Dark Computably Enumerable Equivalence Relations

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 янв 2018, В: Siberian Mathematical Journal. 59, 1, стр. 22-30 9 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    3 Цитирования (Scopus)
  • 2017

    A note on effective categoricity for linear orderings

    Bazhenov, N., 1 янв 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Gopal, TV., Jager, G. & Steila, S. (ред.). Springer-Verlag GmbH and Co. KG, стр. 85-96 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10185 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    1 Цитирования (Scopus)
  • Boolean algebras realized by c.e. equivalence relations

    Bazhenov, N., Mustafa, M., Stephan, F. & Yamaleev, M., 2017, В: Сибирские электронные математические известия. 14, стр. 848-855 8 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

  • Computability of Distributive Lattices

    Bazhenov, N. A., Frolov, A. N., Kalimullin, I. S. & Melnikov, A. G., 1 ноя 2017, В: Siberian Mathematical Journal. 58, 6, стр. 959-970 12 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    4 Цитирования (Scopus)
  • Degrees of categoricity of rigid structures

    Bazhenov, N. A. & Yamaleev, M. M., 1 янв 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (ред.). Springer-Verlag GmbH and Co. KG, Том 10307 LNCS. стр. 152-161 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    3 Цитирования (Scopus)
  • Effective categoricity for distributive lattices and Heyting algebras

    Bazhenov, N. A., 1 июл 2017, В: Lobachevskii Journal of Mathematics. 38, 4, стр. 600-614 15 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    7 Цитирования (Scopus)
  • Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 мар 2017, В: Journal of Mathematical Sciences (United States). 221, 6, стр. 840-848 9 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    3 Цитирования (Scopus)
  • The index set of the groups autostable relative to strong constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 янв 2017, В: Siberian Mathematical Journal. 58, 1, стр. 72-77 6 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    4 Цитирования (Scopus)
  • Turing computable embeddings, computable infinitary equivalence, and linear orders

    Bazhenov, N., 1 янв 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (ред.). Springer-Verlag GmbH and Co. KG, Том 10307 LNCS. стр. 141-151 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    1 Цитирования (Scopus)
  • 2016

    Categoricity Spectra for Polymodal Algebras

    Bazhenov, N., 1 дек 2016, В: Studia Logica. 104, 6, стр. 1083-1097 15 стр.

    Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

    5 Цитирования (Scopus)
Ваше сообщение было отправлено.
Ваше сообщение не было отправлено из-за ошибки.