|
Алгебра и логика, 1973, том 12, номер 5, страницы 512–529
(Mi al1397)
|
|
|
|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
О некоторых примерах верхних полурешеток вычислимых нумераций
В. В. Вьюгин
Аннотация:
1. Построен класс р.п. множеств, который имеет непустую верхнюю полурешетку
вычислимых нумераций, обладающую следующим свойством: для любого элемента
$a$ этой полурешетки существуют её элементы $b$ и $c$, такие, что
$b\nleqslant c$, $c\nleqslant b$ и $a=b\cup c$. В частности, эта
полурешетка не содержит минимальных элементов.
2. Для некоторой бесконечной последовательности достаточно простых классов
р.п. множеств
$\mathfrak{L}_{0},\mathfrak{L}_{1},\ldots,\mathfrak{L}_{n},\ldots$
доказано, что для любого $n$ верхняя полурешетка вычислимых нумераций
класса $\mathfrak{L}_{n+1}$ содержит начальный сегмент, не изоморфный
никакому начальному сегменту верхней полурешетки вычислимых нумераций
класса $\mathfrak{L}_{x}$, при $x\leqslant n$. Из этого следует, что при
$i\neq j$ верхние полурешетки вычислимых нумераций классов
$\mathfrak{L}_{i}$ и $\mathfrak{L}_{j}$ не изоморфны.
3. Построен не эффективно дискретный класс р.п. множеств, верхняя
полурешетка вычислимых нумераций которого является одноэлементной.
Поступило: 26.06.1973
Образец цитирования:
В. В. Вьюгин, “О некоторых примерах верхних полурешеток вычислимых нумераций”, Алгебра и логика, 12:5 (1973), 512–529
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1397 https://www.mathnet.ru/rus/al/v12/i5/p512
|
Статистика просмотров: |
Страница аннотации: | 75 | PDF полного текста: | 35 |
|