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

Алгебра и логика, 1980, том 19, номер 5, страницы 507–551 (Mi al1698)

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

Вычислимые однозначные нумерации

С. С. Гончаров


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

УДК: 510.51

Поступило: 11.11.1979



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


© МИАН, 2024