|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Белякин Н. В. Пульсирующие иерархии //
Том 35 (1994), Номер 3,
стр. 520526
Рассмотрены иерархии оракулов итерированной клиниевской вычислимости, порождаемые процессами с кратной экстраполяцией и последующим возвращением. Установлены эффективность этих процессов в терминах метарекурсии и изучены возможности построения с их помощью обобщенно-конструктивных моделей арифметики второго порядка. Библиогр. 5.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|