Публикации в базе данных Math-Net.Ru
-
Вычислимые нумерации семейств бесконечных множеств
Алгебра и логика, 58:3 (2019), 334–343
-
Однозначная нумерация для семейства всех $\Sigma^{1}_{2}$-множеств
Сиб. журн. чист. и прикл. матем., 18:2 (2018), 47–52
-
Неразрешимость элементарных теорий полурешеток Роджерса аналитической иерархии
Сиб. электрон. матем. изв., 13 (2016), 148–153
-
Элиминация метарекурсии из теоремы Оуинса
Вестн. НГУ. Сер. матем., мех., информ., 14:1 (2014), 35–43
© , 2026