СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Белякин Н. В. Пульсирующие иерархии // Том 35 (1994), Номер 3, стр. 520–526
Рассмотрены иерархии оракулов итерированной
клиниевской вычислимости, порождаемые процессами с кратной
экстраполяцией и последующим возвращением. Установлены
эффективность этих процессов в терминах метарекурсии и изучены
возможности построения с их помощью обобщенно-конструктивных
моделей арифметики второго порядка. Библиогр. 5.
© Сибирский Математический Журнал, 2003-2006