Вычислимая функция, не имеющая всюду определенного вычислимого продолжения:

Вычислимая функция со значением {0,1} и не имеющая всюду определенного вычислимого продолжения:

Если d - вычислимая функция, E(d)={0,1} и не имеет всюду определенного вычислимого продолжения, то:

Если d - вычислимая функция, E(d)={0,1} и не имеет всюду определенного вычислимого продолжения, то:

Вычислимая всюду определенная функция двух аргументов, универсальная для класса всех вычислимых функций одного аргумента:

Множество X - эффективно неперечислимо, если существует всюду определенная вычислимая W-универсальная функция f:

Для - всюду определенной функции, -вычислимая функция двух аргументов являющаяся универсальной:

Частично рекурсивная и всюду определенная функция называется:

Всякая функция, вычислимая программой с конечным числом переменных:

Любая функция, вычислимая на машине Тьюринга не более чем за примитивно рекурсивное время:

Универсальную вычислимую функцию, для которой каждая вычислимая функция имеет ровно один номер: