Примитивно рекурсивная категоричность для унаров и структур с эквивалентностью

Продолжается исследование примитивно рекурсивной категоричности структур, для которых существует примитивно рекурсивный алгоритм разрешения со свидетелями всех $\Sigma$-формул. Для структур с эквивалентностью найден полный критерий примитивно рекурсивной категоричности над классом $K_\Sigma$, который совпал с уже известным критерием вычислимой категоричности. Для унаров — структур с одной произвольной унарной функцией — выделены некоторые условия примитивно рекурсивной категоричности над $K_\Sigma$, а также для отсутствия этой категоричности. В частности, найдено полное описание примитивно рекурсивно категоричных над $K_\Sigma$ инъективных унаров.