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

Алгебра и логика, 1989, том 28, номер 1, страницы 75–82 (Mi al2047)

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

Применения предполных нумераций к степеням табличного типа и индексным множествам

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


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

УДК: 510.5

Поступило: 17.06.1987


 Англоязычная версия: DOI: 10.1007/BF01980608

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


© МИАН, 2024