|
Сибирский математический журнал, 2002, том 43, номер 1, страницы 33–40
(Mi smj1284)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Арифметика второго порядка и пульсирующие иерархии
Е. В. Гайлит Новосибирский государственный университет
Аннотация:
Осуществляется машинно-оракульное моделирование арифметики II-го порядка средствами итерированной клиниевской вычислимости. Искомый оракул строится посредством пульсирующего трансфинитного процесса, представляющего собой модификацию аналогичного процесса, использованного Н. В. Белякиным для решения частного случая этой задачи. Библиогр. 5.
Статья поступила: 17.04.2001
Образец цитирования:
Е. В. Гайлит, “Арифметика второго порядка и пульсирующие иерархии”, Сиб. матем. журн., 43:1 (2002), 33–40; Siberian Math. J., 43:1 (2002), 22–27
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1284 https://www.mathnet.ru/rus/smj/v43/i1/p33
|
Статистика просмотров: |
Страница аннотации: | 268 | PDF полного текста: | 94 |
|