График любой функции, вычислимой программой с конечным числом переменных:
Всякая частично рекурсивная функция:
Вычислимая функция, не имеющая всюду определенного вычислимого продолжения:
Любая функция, вычислимая на машине Тьюринга не более чем за примитивно рекурсивное время:
Всякая универсальная функция для класса вычислимых одноместных функций задает:
Универсальную вычислимую функцию, для которой каждая вычислимая функция имеет ровно один номер:
Вычислимая функция двух аргументов, являющаяся универсальной функцией для класса вычислимых функций одного аргумента:
Вычислимая всюду определенная функция двух аргументов, универсальная для класса всех вычислимых функций одного аргумента:
Вычислимая функция трех аргументов, универсальная для класса вычислимых функций двух аргументов:
Вычислимая функция со значением {0,1} и не имеющая всюду определенного вычислимого продолжения:
