1 - 48 out of 48Page size: 100
  1. 2024

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

    Bazhenov, N., Kalociński, D. & Wrocławski, M., 6 Nov 2024, In: Archive for Mathematical Logic. 33.

    Research output: Contribution to journal › Article › peer-review

  3. On Learning for Families of Algebraic Structures

    Bazhenov, N. A., Apr 2024, In: Lobachevskii Journal of Mathematics. 45, 4, p. 1789-1799 11 p.

    Research output: Contribution to journal › Article › peer-review

  4. Cantor–Bendixson Ranks for Almost Prime Models

    Bazhenov, N. & Marchuk, M., 2024, Lecture Notes Series, Institute for Mathematical Sciences. World Scientific, p. 79-95 17 p. (Lecture Notes Series, Institute for Mathematical Sciences; vol. 42).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  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, p. 97-114 18 p. (Lecture Notes Series, Institute for Mathematical Sciences; vol. 42).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  6. 2023

  7. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 Oct 2023, In: Annals of Pure and Applied Logic. 174, 9, 25 p., 103304.

    Research output: Contribution to journal › Article › peer-review

  8. Decidable Categoricity Spectra for Almost Prime Models

    Bazhenov, N. A. & Marchuk, M. I., Sept 2023, In: Algebra and Logic. 62, 4, p. 291-302 12 p.

    Research output: Contribution to journal › Article › peer-review

  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. (eds.). Springer, p. 13-23 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13359 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  11. 2021

  12. Categoricity Spectra of Computable Structures

    Bazhenov, N. A., Jul 2021, In: Journal of Mathematical Sciences (United States). 256, 1, p. 34-50 17 p.

    Research output: Contribution to journal › Article › peer-review

  13. On Universal Pairs in the Ershov Hierarchy

    Bazhenov, N. A., Mustafa, M. & Ospichev, S. S., Jan 2021, In: Siberian Mathematical Journal. 62, 1, p. 23-31 9 p.

    Research output: Contribution to journal › Article › peer-review

  14. Degrees of bi-embeddable categoricity

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 2021, In: Computability. 10, 1, p. 1-16 16 p.

    Research output: Contribution to journal › Article › peer-review

  15. 2020

  16. Learning families of algebraic structures from informant

    Bazhenov, N., Fokina, E. & San Mauro, L., Dec 2020, In: Information and Computation. 275, 17 p., 104590.

    Research output: Contribution to journal › Article › peer-review

  17. Classifying equivalence relations in the Ershov hierarchy

    Bazhenov, N., Mustafa, M., San Mauro, L., Sorbi, A. & Yamaleev, M., 1 Nov 2020, In: Archive for Mathematical Logic. 59, 7-8, p. 835-864 30 p.

    Research output: Contribution to journal › Article › peer-review

  18. Numberings in the Analytical Hierarchy

    Bazhenov, N. A., Mustafa, M., Ospichev, S. S. & Yamaleev, M. M., Nov 2020, In: Algebra and Logic. 59, 5, p. 404-407 4 p.

    Research output: Contribution to journal › Article › peer-review

  19. Strong Degrees of Categoricity and Weak Density

    Bazhenov, N. A., Kalimullin, I. S. & Yamaleev, M. M., Sept 2020, In: Lobachevskii Journal of Mathematics. 41, 9, p. 1630-1639 10 p.

    Research output: Contribution to journal › Article › peer-review

  20. A Note on Computable Embeddings for Ordinals and Their Reverses

    Bazhenov, N. & Vatev, S., 1 Jul 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (eds.). Springer Gabler, p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12098 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  21. Decompositions of decidable abelian groups

    Bazhenov, N., Goncharov, S. & Melnikov, A., 1 Feb 2020, In: International Journal of Algebra and Computation. 30, 1, p. 49-90 42 p.

    Research output: Contribution to journal › Article › peer-review

  22. Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

    Bazhenov, N. A., Mustafa, M., San Mauro, L. & Yamaleev, M. M., 1 Feb 2020, In: Lobachevskii Journal of Mathematics. 41, 2, p. 145-150 6 p.

    Research output: Contribution to journal › Article › peer-review

  23. Definable subsets of polynomial-time algebraic structures

    Bazhenov, N., 1 Jan 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ed.). Springer Gabler, p. 142-154 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12159 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  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. (eds.). Springer, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12337 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  25. 2019

  26. Automatic and Polynomial-Time Algebraic Structures

    Bazhenov, N., Harrison-Trainor, M., Kalimullin, I., Melnikov, A. & Ng, K. M., 1 Dec 2019, In: Journal of Symbolic Logic. 84, 4, p. 1630-1669 40 p.

    Research output: Contribution to journal › Article › peer-review

  27. Constructing Decidable Graphs from Decidable Structures

    Bazhenov, N. A. & Harrison-Trainor, M., 1 Nov 2019, In: Algebra and Logic. 58, 5, p. 369-382 14 p.

    Research output: Contribution to journal › Article › peer-review

  28. Degrees of bi-embeddable categoricity of equivalence structures

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 1 Aug 2019, In: Archive for Mathematical Logic. 58, 5-6, p. 543-563 21 p.

    Research output: Contribution to journal › Article › peer-review

  29. Weakly Precomplete Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Jul 2019, In: Algebra and Logic. 58, 3, p. 199-213 15 p.

    Research output: Contribution to journal › Article › peer-review

  30. Foundations of online structure theory

    Bazhenov, N., Downey, R., Kalimullin, I. & Melnikov, A., 1 Jun 2019, In: Bulletin of Symbolic Logic. 25, 2, p. 141-181 41 p.

    Research output: Contribution to journal › Article › peer-review

  31. Elementary theories and hereditary undecidability for semilattices of numberings

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 9 May 2019, In: Archive for Mathematical Logic. 58, 3-4, p. 485-500 16 p.

    Research output: Contribution to journal › Article › peer-review

  32. On Decidability of List Structures

    Aleksandrova, S. A. & Bazhenov, N. A., 1 May 2019, In: Siberian Mathematical Journal. 60, 3, p. 377-388 12 p.

    Research output: Contribution to journal › Article › peer-review

  33. Rogers Semilattices for Families of Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Mar 2019, In: Siberian Mathematical Journal. 60, 2, p. 223-234 12 p.

    Research output: Contribution to journal › Article › peer-review

  34. Bounded Reducibility for Computable Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 1 Jan 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (eds.). Springer, p. 96-107 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  35. Computable Contact Algebras

    Bazhenov, N., 1 Jan 2019, In: Fundamenta Informaticae. 167, 4, p. 257-269 13 p.

    Research output: Contribution to journal › Article › peer-review

  36. Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 Jan 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (eds.). Springer, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11436 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  37. Effective Embeddings for Pairs of Structures

    Bazhenov, N., Ganchev, H. & Vatev, S., 1 Jan 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (eds.). Springer, p. 84-95 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  38. Построение разрешимых графов по разрешимым структурам

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

    Research output: Contribution to journal › Article › peer-review

  39. 2018

  40. Computable Bi-Embeddable Categoricity

    Bazhenov, N. A., Fokina, E. B., Rossegger, D. & San Mauro, L., 1 Nov 2018, In: Algebra and Logic. 57, 5, p. 392-396 5 p.

    Research output: Contribution to journal › Article › peer-review

  41. Degrees of Autostability Relative to Strong Constructivizations of Graphs

    Bazhenov, N. A. & Marchuk, M. I., 1 Jul 2018, In: Siberian Mathematical Journal. 59, 4, p. 565-577 13 p.

    Research output: Contribution to journal › Article › peer-review

  42. Degrees of Autostability for Prime Boolean Algebras

    Bazhenov, N. A. & Marchuk, M. I., 1 Jun 2018, In: Algebra and Logic. 57, 2, p. 98-114 17 p.

    Research output: Contribution to journal › Article › peer-review

  43. Autostability spectra for decidable structures

    Bazhenov, N., 1 Mar 2018, In: Mathematical Structures in Computer Science. 28, 3, p. 392-411 20 p.

    Research output: Contribution to journal › Article › peer-review

  44. Degrees of categoricity and spectral dimension

    Bazhenov, N. A., Kalimullin, I. S. H. & Yamaleev, M. M., 1 Mar 2018, In: Journal of Symbolic Logic. 83, 1, p. 103-116 14 p.

    Research output: Contribution to journal › Article › peer-review

  45. Degrees of categoricity for prime and homogeneous models

    Bazhenov, N. & Marchuk, M., 1 Jan 2018, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Proceedings. Manea, F., Miller, RG. & Nowotka, D. (eds.). Springer, p. 40-49 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10936 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  46. On Dark Computably Enumerable Equivalence Relations

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Jan 2018, In: Siberian Mathematical Journal. 59, 1, p. 22-30 9 p.

    Research output: Contribution to journal › Article › peer-review

  47. 2017

  48. Computability of Distributive Lattices

    Bazhenov, N. A., Frolov, A. N., Kalimullin, I. S. & Melnikov, A. G., 1 Nov 2017, In: Siberian Mathematical Journal. 58, 6, p. 959-970 12 p.

    Research output: Contribution to journal › Article › peer-review

  49. Effective categoricity for distributive lattices and Heyting algebras

    Bazhenov, N. A., 1 Jul 2017, In: Lobachevskii Journal of Mathematics. 38, 4, p. 600-614 15 p.

    Research output: Contribution to journal › Article › peer-review

  50. Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 Mar 2017, In: Journal of Mathematical Sciences (United States). 221, 6, p. 840-848 9 p.

    Research output: Contribution to journal › Article › peer-review

  51. A note on effective categoricity for linear orderings

    Bazhenov, N., 1 Jan 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Gopal, TV., Jager, G. & Steila, S. (eds.). Springer, p. 85-96 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10185 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  52. Degrees of categoricity of rigid structures

    Bazhenov, N. A. & Yamaleev, M. M., 1 Jan 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (eds.). Springer, Vol. 10307 LNCS. p. 152-161 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10307 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  53. The index set of the groups autostable relative to strong constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 Jan 2017, In: Siberian Mathematical Journal. 58, 1, p. 72-77 6 p.

    Research output: Contribution to journal › Article › peer-review

  54. Turing computable embeddings, computable infinitary equivalence, and linear orders

    Bazhenov, N., 1 Jan 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (eds.). Springer, Vol. 10307 LNCS. p. 141-151 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10307 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  55. Boolean algebras realized by c.e. equivalence relations

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

    Research output: Contribution to journal › Article › peer-review

  56. 2016

  57. Categoricity Spectra for Polymodal Algebras

    Bazhenov, N., 1 Dec 2016, In: Studia Logica. 104, 6, p. 1083-1097 15 p.

    Research output: Contribution to journal › Article › peer-review

ID: 3440851