Счетное число непересекающихся перечислимых множеств, никакие два из которых неотделимы разрешимым множеством:
Различным операциям над множествами соответствуют:
Если дополнение неразрешимого множества перечислимо, то само множество:
Множества с эффективно неперечислимыми дополнениями:
Несравнимые по Тьюрингу перечислимые множества:
Верно утверждение для множества диафантовых уравнений:
Непересекающиеся множества X и Y отделяются множеством Z, если:
Два пересекающихся перечислимых множества, не отделимые разрешимым множеством:
Для доказательства неразрешимости множества X достаточно доказать, что: