|
Сибирский математический журнал, 1994, том 35, номер 3, страницы 520–526
(Mi smj742)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Пульсирующие иерархии
Н. В. Белякин
Аннотация:
Рассмотрены иерархии оракулов итерированной клиниевской вычислимости, порождаемые процессами с кратной экстраполяцией и последующим возвращением. Установлены эффективность этих процессов в терминах метарекурсии и изучены возможности построения с их помощью обобщенно-конструктивных моделей арифметики второго порядка.
Библиогр. 5.
Статья поступила: 13.09.1993
Образец цитирования:
Н. В. Белякин, “Пульсирующие иерархии”, Сиб. матем. журн., 35:3 (1994), 520–526; Siberian Math. J., 35:3 (1994), 464–469
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj742 https://www.mathnet.ru/rus/smj/v35/i3/p520
|
Статистика просмотров: |
Страница аннотации: | 198 | PDF полного текста: | 86 |
|