1 - 5 out of 5Page size: 10
  1. 2025

  2. On cardinalities of Rogers semilattices for families in the Ershov hierarchy

    Ng, K. M., Bazhenov, N., Kalmurzayev, B. & Nurlanbek, D., Nov 2025, In: Information and Computation. 307, 13 p., 105354.

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

  3. Online and Feasible Presentability: From Trees to Modal Algebras

    Bazhenov, N., Kalociński, D. & Wrocławski, M., 30 Jun 2025, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 p. 142. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 334).

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

  4. On Learning Existentially Definable Subsets in a Computable Structure

    Bazhenov, N. & Mustafa, M., 20 Jun 2025, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. Vol. 15764. p. 143-158 16 p. (Lecture Notes in Computer Science).

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

  5. Computably and punctually universal spaces

    Bagaviev, R., Batyrshin, I. I., Bazhenov, N., Bushtets, D., Dorzhieva, M., Koh, H. T., Kornev, R., Melnikov, A. G. & Ng, K. M., Jan 2025, In: Annals of Pure and Applied Logic. 176, 1, 103491.

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

  6. 2024

  7. A Lopez-Escobar theorem for continuous domains

    Bazhenov, N., Fokina, E., Rossegger, D., Soskova, A. & Vatev, S., 2024, In: Journal of Symbolic Logic. 90, 2, p. 854-871 18 p.

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

ID: 3523286