1. 2019
  2. Partial Decidable Presentations in Hyperarithmetic

    Kalimullin, I. S., Puzarenko, V. G. & Faizrahmanov, M. K., 1 May 2019, In: Siberian Mathematical Journal. 60, 3, p. 464-471 8 p.

    Research output: Contribution to journalArticlepeer-review

  3. A Computable Structure with Non-Standard Computability

    Avdeev, R. R. & Puzarenko, V. G., 1 Apr 2019, In: Siberian Advances in Mathematics. 29, 2, p. 77-115 39 p.

    Research output: Contribution to journalArticlepeer-review

  4. On the “Heap” problem

    Puzarenko, V. G. & Smeliansky, R. L., 1 Apr 2019, In: Russian Journal of Mathematical Physics. 26, 2, p. 180-184 5 p.

    Research output: Contribution to journalArticlepeer-review

  5. 2018
  6. Positive Presentations of Families in Relation to Reducibility with Respect to Enumerability

    Kalimullin, I. S., Puzarenko, V. G. & Faizrakhmanov, M. K., 1 Sept 2018, In: Algebra and Logic. 57, 4, p. 320-323 4 p.

    Research output: Contribution to journalArticlepeer-review

  7. Jump Inversions of Algebraic Structures and the Σ-Definability

    Kalimullin, I. S., Kach, A., Montalbán, A., Puzarenko, V. G. & Faizrahmanov, M. K., 1 Jun 2018, In: Algebra and Logic. 57, 2, p. 161-165 5 p.

    Research output: Contribution to journalArticlepeer-review

  8. 2017
  9. A Computable Structure with Nonstandard Computability

    Avdeev, R. R. & Puzarenko, V. G., 1 Nov 2017, In: Algebra and Logic. 56, 5, p. 425-426 2 p.

    Research output: Contribution to journalArticlepeer-review

  10. The least Σ-jump inversion theorem for N-families

    Faizrahmanov, M., Kalimullin, I., Montalbán, A. & Puzarenko, V., 1 Jan 2017, In: Journal of Universal Computer Science. 23, 6, p. 529-538 10 p.

    Research output: Contribution to journalArticlepeer-review

  11. The Least Sigma-jump Inversion Theorem for n-families

    Faizrahmanov, M., Kalimullin, I., Montalban, A. & Puzarenko, V., 2017, In: Journal of Universal Computer Science. 23, 6, p. 529-538 10 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 Next

ID: 12589122