1. 2024
  2. Degrees of relations on canonically ordered natural numbers and integers

    Bazhenov, N., Kalociński, D. & Wrocławski, M., 6 нояб. 2024, в: Archive for Mathematical Logic. 33.

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

  3. On Learning for Families of Algebraic Structures

    Bazhenov, N. A., апр. 2024, в: Lobachevskii Journal of Mathematics. 45, 4, стр. 1789-1799 11 стр.

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

  4. Cantor–Bendixson Ranks for Almost Prime Models

    Bazhenov, N. & Marchuk, M., 2024, Lecture Notes Series, Institute for Mathematical Sciences. World Scientific, стр. 79-95 17 стр. (Lecture Notes Series, Institute for Mathematical Sciences; том 42).

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

  5. Isomorphism Types of Rogers Semilattices in the Analytical Hierarchy

    Bazhenov, N., Ospichev, S. & Yamaleev, M., 2024, Lecture Notes Series, Institute for Mathematical Sciences. World Scientific, стр. 97-114 18 стр. (Lecture Notes Series, Institute for Mathematical Sciences; том 42).

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

  6. 2023
  7. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 окт. 2023, в: Annals of Pure and Applied Logic. 174, 9, 25 стр., 103304.

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

  8. Decidable Categoricity Spectra for Almost Prime Models

    Bazhenov, N. A. & Marchuk, M. I., сент. 2023, в: Algebra and Logic. 62, 4, стр. 291-302 12 стр.

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

  9. 2022
  10. 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, стр. 13-23 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13359 LNCS).

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

  11. 2021
  12. Categoricity Spectra of Computable Structures

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

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

  13. On Universal Pairs in the Ershov Hierarchy

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

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

  14. Degrees of bi-embeddable categoricity

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

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

  15. 2020
  16. Learning families of algebraic structures from informant

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

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

  17. 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 стр.

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

  18. 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 стр.

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

  19. 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 стр.

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

  20. 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).

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

  21. Decompositions of decidable abelian groups

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

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

  22. 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 стр.

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

  23. 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).

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

  24. 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, стр. 1-12 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12337 LNCS).

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

  25. 2019
  26. 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 стр.

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

Назад 1 2 3 Далее

ID: 3440851