Пульсирующие иерархии

Рассмотрены иерархии оракулов итерированной клиниевской вычислимости, порождаемые процессами с кратной экстраполяцией и последующим возвращением. Установлены эффективность этих процессов в терминах метарекурсии и изучены возможности построения с их помощью обобщенно-конструктивных моделей арифметики второго порядка.
Библиогр. 5.