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

Алгебра и логика, 1976, том 15, номер 2, страницы 205–226 (Mi al1508)

Эта публикация цитируется в 3 статьях

О нумерациях семейств общерекурсивных функций

В. Л. Селиванов


Аннотация: Доказано несколько результатов о вычислимых нумерациях семейств общерекурсивных функций (о. р. ф. ). В частности, показано, что семейство о. р. ф. являтся $wn$-семейством тогда и только тогда, когда оно эффективно дискретно. Построен пример не эффективно дискретного семейства о. р. ф., все нумерации которого эквивалентны; построен пример семейства о. р. ф. с бесконечным числом предельных точек, обладающего наименьшей нумерацией.

УДК: 517.11:518.5

Поступило: 09.03.1976



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


© МИАН, 2024