|
Алгебра и логика, 2007, том 46, номер 3, страницы 299–345
(Mi al299)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Универсальная лахлановская полурешётка без наибольшего элемента
С. Ю. Подзоров
Аннотация:
Исследуются некоторые верхние полурешётки $m$-степеней и нумераций конечных семейств. Доказывается, что полурешётка всех вычислимо перечислимых $m$-степеней, из которой удалили наибольший элемент, изоморфна полурешётке простых $m$-степеней, полурешётке гиперпростых $m$-степеней и полурешётке $\Sigma^0_2$-вычислимых нумераций конечного семейства $\Sigma^0_2$-множеств, которое содержит более одного элемента и не содержит сравнимых по включению элементов.
Ключевые слова:
верхняя полурешётка, дистрибутивная полурешётка, $m$-степень, нумерация, полурешётка Роджерса, лахлановская полурешётка.
Поступило: 24.06.2006 Окончательный вариант: 21.02.2007
Образец цитирования:
С. Ю. Подзоров, “Универсальная лахлановская полурешётка без наибольшего элемента”, Алгебра и логика, 46:3 (2007), 299–345; Algebra and Logic, 46:3 (2007), 163–187
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al299 https://www.mathnet.ru/rus/al/v46/i3/p299
|
Статистика просмотров: |
Страница аннотации: | 367 | PDF полного текста: | 131 | Список литературы: | 44 | Первая страница: | 4 |
|