|
Алгебра и логика, 1979, том 18, номер 4, страницы 398–407
(Mi al1654)
|
|
|
|
Автономная вычислимость
Н. В. Белякин
Аннотация:
Вводится понятие автономной иерархии, обобщающее ранее введенное автором понятие. Показывается, что в классе таких иерархий существует максимальная. Совокупность максимальных автономных иерархий, релятивизованых к всевозможным объектам типа 1 и 2, определяет некоторую схему обобщенной вычислимости. Класс объектов, вычислимых в этой схеме, оказывается замкнутым относительно суперджамп-оператора.
Поступило: 25.12.1978
Образец цитирования:
Н. В. Белякин, “Автономная вычислимость”, Алгебра и логика, 18:4 (1979), 398–407
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1654 https://www.mathnet.ru/rus/al/v18/i4/p398
|
Статистика просмотров: |
Страница аннотации: | 61 | PDF полного текста: | 28 |
|