Всякая частично рекурсивная функция:
Вычислимая всюду определенная функция двух аргументов, универсальная для класса всех вычислимых функций одного аргумента:
Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Множество X - эффективно неперечислимо, если существует всюду определенная вычислимая W-универсальная функция f:
Вычислимая функция, не имеющая всюду определенного вычислимого продолжения:
Частичная функция вычислима относительно всюду определенной функции тогда и только тогда, когда она:
Вычислимая функция со значением {0,1} и не имеющая всюду определенного вычислимого продолжения:
Процедура замены вычислимых функции на функции, вычислимые относительно всюду определенной функции называется:
Если d - вычислимая функция, E(d)={0,1} и не имеет всюду определенного вычислимого продолжения, то:
