О частично упорядоченных множествах 1-степеней, содержащихся в рекурсивно-перечислимых m -степенях А.Н. Дегтев — 1976 Algebra i Logika
Разрешимость ∀ ∃ теории некоторой фактор-решетки рекурсивно-перечислимых множеств. А.Н. Дегтев — 1978 Algebra i Logika