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

Любые две нумерации перечислимых множеств:

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

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

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

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

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

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

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

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

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