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