Начальные сегменты в полурешетках Роджерса Σ n 0 -вычислимых нумераций С.Ю. Подзоров — 2003 Algebra i Logika
Вычислимые классы конструктивизаций 2 -конструктивизируемых моделей. С.Ю. Подзоров — 1999 Algebra i Logika