О соотношении двух понятий примитивно рекурсивной реализуемости

Доказывается несовпадение двух вариантов понятия примитивно рекурсивной реализуемости для языка формальной арифметики – строго примитивно рекурсивной реализуемости, введенной Дамняновичем, и примитивно рекурсивной реализуемости, введенной Салехи.
Библиогр. 8.