Последний вопрос о рекурсивно-перечислимых $m$-степенях

В работе показывается, что теория рекурсивно-перечислимых $m$-степеней имеет вычислительную сложность такую же, как и арифметика первого порядка. Фактически, в данной структуре степеней возможно без параметров определить стандартную модель арифметики.