|
Алгебра и логика, 1973, том 12, номер 1, страницы 3–21
(Mi al1365)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Об одном классе рекурсивных иерархий
Н. В. Белякин
Аннотация:
Рассматриваются рекурсивные иерархии, построенные при помощи частичных
оракулов, соотнесенных с произвольной (однозначной) системой ординальных
обозначений. Выделяется некоторое семейство таких иерархий, обладающее
инвариантными классами. Доказывается, что получающиеся при этом
множества исчерпывают совокупность множеств, разрешимых в смысле Клини
относительно гиперджампоперации.
Поступило: 15.06.1972
Образец цитирования:
Н. В. Белякин, “Об одном классе рекурсивных иерархий”, Алгебра и логика, 12:1 (1973), 3–21
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1365 https://www.mathnet.ru/rus/al/v12/i1/p3
|
Статистика просмотров: |
Страница аннотации: | 49 | PDF полного текста: | 16 |
|