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