|
Алгебра и логика, 2003, том 42, номер 2, страницы 211–226
(Mi al26)
|
|
|
|
Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)
Начальные сегменты в полурешетках Роджерса $\Sigma^0_n$-вычислимых нумераций
С. Ю. Подзоров Институт математики им. С. Л. Соболева СО РАН
Аннотация:
С. С. Гончаров и С. А. Бадаев показали, что для $n\geqslant 2$ существуют бесконечные семейства, полурешетки Роджерса которых содержат идеалы без минимальных элементов. В связи с этим ими был поставлен вопрос о существовании примеров семейств, не обладающих этим свойством. Дается отрицательный ответ на этот вопрос. Доказывается, что вне зависимости от выбора семейства класс полурешеток, являющихся главными идеалами полурешетки Роджерса этого семейства, достаточно широк: он включает в себя как фактор-решетку решетки рекурсивно перечислимых множеств по модулю конечных множеств, так и семейство начальных сегментов полурешетки $m$-степеней, порожденных иммунными множествами.
Ключевые слова:
полурешетка Роджерса, рекурсивно перечислимое множество, иммунное множество, $m$-степень.
Поступило: 19.03.2001
Образец цитирования:
С. Ю. Подзоров, “Начальные сегменты в полурешетках Роджерса $\Sigma^0_n$-вычислимых нумераций”, Алгебра и логика, 42:2 (2003), 211–226; Algebra and Logic, 42:2 (2003), 121–129
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al26 https://www.mathnet.ru/rus/al/v42/i2/p211
|
Статистика просмотров: |
Страница аннотации: | 492 | PDF полного текста: | 145 | Список литературы: | 87 | Первая страница: | 1 |
|