|
Алгебра и логика, 1989, том 28, номер 1, страницы 75–82
(Mi al2047)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Применения предполных нумераций к степеням табличного типа и индексным множествам
В. Л. Селиванов
Аннотация:
Доказаны общие результаты об устройстве рекурсивно-перечислимых порядков на предполно нумерованных множествах и об индексных множествах предполных нумераций. В качестве приложений получены простые неприоритетные доказательства известных результатов С. Д. Денисова и С. Калибекова о структуре рекурсивно-перечислимых степеней табличного типа, а также обобщений этих результатов на все уровни иерархии Ершова. Получены также новые результаты об индексных множествах степеней табличного типа.
Поступило: 17.06.1987
Образец цитирования:
В. Л. Селиванов, “Применения предполных нумераций к степеням табличного типа и индексным множествам”, Алгебра и логика, 28:1 (1989), 75–82
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2047 https://www.mathnet.ru/rus/al/v28/i1/p75
|
Статистика просмотров: |
Страница аннотации: | 69 | PDF полного текста: | 29 |
|