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

Верно утверждение:

Верно утверждение:

Верно утверждение:

Если X - класс вычислимых одноместных функции, а Y - его подмножество, то верно утверждение:

Если X - класс вычислимых одноместных функции, а Y - его подмножество, то верно утверждение:

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

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

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

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

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