Примитивно рекурсивно для примитивно рекурсивных операндов:
Примитивно рекурсивно для примитивно рекурсивных операндов:
Если свойство R(x, y) - примитивно рекурсивно, то примитивно рекурсивно и свойство:
Если свойство R(x,y) - примитивно рекурсивно, то примитивно рекурсивно и свойство:
Любая функция, вычислимая на машине Тьюринга не более чем за примитивно рекурсивное время:
Характеристическая функция множества X:
Примитивно рекурсивно свойство:
Примитивно рекурсивно свойство:
Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством: