RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1979, том 18, номер 4, страницы 398–407 (Mi al1654)

Автономная вычислимость

Н. В. Белякин


Аннотация: Вводится понятие автономной иерархии, обобщающее ранее введенное автором понятие. Показывается, что в классе таких иерархий существует максимальная. Совокупность максимальных автономных иерархий, релятивизованых к всевозможным объектам типа 1 и 2, определяет некоторую схему обобщенной вычислимости. Класс объектов, вычислимых в этой схеме, оказывается замкнутым относительно суперджамп-оператора.

УДК: 517.15

Поступило: 25.12.1978



Реферативные базы данных:


© МИАН, 2024