|
Алгебра и логика, 1990, том 29, номер 4, страницы 385–397
(Mi al2111)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Эффективные иерархии
Н. В. Белякин
Аннотация:
Исследуются возможности аппарата итерированной клиниевской вычислимости для порождения рекурсивных иерархий. Вводится общее понятие эффективной ординальной нумерации (на которую навешиваются итерированные клиниевские оракулы) и устанавливаются их характерные свойства. Рассматриваются некоторые механизмы порождения таких нумераций.
Поступило: 30.07.1989
Образец цитирования:
Н. В. Белякин, “Эффективные иерархии”, Алгебра и логика, 29:4 (1990), 385–397
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2111 https://www.mathnet.ru/rus/al/v29/i4/p385
|
Статистика просмотров: |
Страница аннотации: | 57 | PDF полного текста: | 20 |
|