|
Алгебра и логика, 1976, том 15, номер 2, страницы 205–226
(Mi al1508)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
О нумерациях семейств общерекурсивных функций
В. Л. Селиванов
Аннотация:
Доказано несколько результатов о вычислимых нумерациях семейств
общерекурсивных функций (о. р. ф. ). В частности, показано, что семейство
о. р. ф. являтся $wn$-семейством тогда и только тогда, когда оно
эффективно дискретно. Построен пример не эффективно дискретного семейства
о. р. ф., все нумерации которого эквивалентны; построен пример
семейства о. р. ф. с бесконечным числом предельных точек, обладающего
наименьшей нумерацией.
Поступило: 09.03.1976
Образец цитирования:
В. Л. Селиванов, “О нумерациях семейств общерекурсивных функций”, Алгебра и логика, 15:2 (1976), 205–226
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1508 https://www.mathnet.ru/rus/al/v15/i2/p205
|
Статистика просмотров: |
Страница аннотации: | 80 | PDF полного текста: | 35 |
|