Двухэлементное отделимое нумерованное множество γ с неразрешимой проблемой P ( γ , γ ) . С.Д. Денисов — 1975 Algebra i Logika
Строение верхней полурешетки рекурсивно-перечислимых m-степеней и смежные вопросы. 1 С.Д. Денисов — 1978 Algebra i Logika