Об одном способе моделирования классической арифметики второй ступени

Изучаются рекурсивные иерархии, построение которых основано на итерированной клиниевской вычислимости относительно джамл-операции. Итерирование происходит вдоль подходящей системы ординальных обозначений. Последняя предполагается эффективно построенной в том смысле, что обозначения для очередного ординала порождаются при помощи конечной экстраполяции вычислительных средств, “освоенных” на данном шаге построения иерархии.
Описан механизм порождения “пульсирующих” иерархий, у которых множества номеров ранее порожденных ординалов может в дальнейшем расширяться. Показано, что таким способом можно построить иерархию, дающую модель арифметики второй ступени, когда схема аксиом свертывания ограничена формулами с двумя функциональными кванторами.