"Оракул" для множества X может быть реализован вызовом внешней:

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

Для любого перечислимого множества X из декартового квадрата N существует вычислимая :

Непересекающиеся множества X и Y отделяются множеством Z, если:

Множество X - -перечислимо тогда и только тогда, когда для некоторого перечислимого множества E:

Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:

Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:

Образ множества X для частичной функции f(n) - это:

Прообраз множества X для частичной функции f(n) - это:

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

Если U -двухместная главная универсальная функция для класса вычислимых функций одного аргумента, то для всех p, q, x: