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

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

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

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

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

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

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

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

Для доказательства неразрешимости множества X достаточно доказать, что:

"Оракул" для множества X отвечает на вопрос:

Два главных универсальных множества для класса перечислимых подмножеств N: