Множества с эффективно неперечислимыми дополнениями:

Если и X - эффективно неперечислимо, то:

Любые два множества:

Несравнимые по Тьюрингу перечислимые множества:

Множество X - эффективно неперечислимо, если существует всюду определенная вычислимая W-универсальная функция f:

Верно утверждение для множества диафантовых уравнений:

Если два множества неотделимы разрешимыми множествами, то:

Множество X - эффективно бесконечное, если алгоритм конструирования по любому n различных элементов из X:

Два пересекающихся перечислимых множества, не отделимые разрешимым множеством:

Если дополнение неразрешимого множества перечислимо, то само множество:

Для универсального перечислимого множества W-перечислимо множество: