1 - 10 out of 43Page size: 10
  1. 2023

  2. 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

  3. 2022

  4. 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 Science and Business Media Deutschland GmbH, 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

  5. 2021

  6. 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

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

  8. 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

  9. 2020

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

Previous 1 2 3 4 5 Next

ID: 3440851