|
Алгебра и логика, 1973, том 12, номер 2, страницы 167–189
(Mi al1375)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 5 статьях)
Верхняя полурешетка $L(\gamma)$
Ю. Л. Ершов, И. А. Лавров
Аннотация:
Получен ряд достаточных условий неизоморфности верхних полурешеток
вычислимых нумераций для конечных семейств рекурсивно-перечислимых
множеств. Основой получения этих условий является теорема 1,описывающая
тонкую структуру верхней полурешетки $L_{m}$ рекурсивно-перечислимых
$m$-степеней, уточняющая и углубляющая ряд уже известных теорем о
полурешетке $L_{m}$.
Поступило: 28.12.1972
Образец цитирования:
Ю. Л. Ершов, И. А. Лавров, “Верхняя полурешетка $L(\gamma)$”, Алгебра и логика, 12:2 (1973), 167–189
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1375 https://www.mathnet.ru/rus/al/v12/i2/p167
|
Статистика просмотров: |
Страница аннотации: | 129 | PDF полного текста: | 30 | Список литературы: | 1 |
|