|
Алгебра и логика, 1988, том 27, номер 5, страницы 527–534
(Mi al2030)
|
|
|
|
О некоторых решёточно-инвариантных свойствах семейств рекурсивно-перечислимых множеств
А. Н. Дёгтев
Аннотация:
Семейство $\mathcal{A}$ рекурсивно-перечислимых (р.п.) множеств назовем РШ-семейством, если существует сильно перечислимое семейство $\mathcal{D}$ конечных множеств такое, что $\mathcal{A}=\{A\mid A- \text{ р.п. множество и }(\exists D\in\mathcal{D})(D\subseteq A)\}$. Находятся необходимые и достаточные условия на семейство $\mathcal{A}$ р.п.множеств, при которых $\Phi(\mathcal{A})$ является РШ-семейством для любого автоморфизма $\Phi$ решетки р.п. множеств.
Поступило: 11.03.1987
Образец цитирования:
А. Н. Дёгтев, “О некоторых решёточно-инвариантных свойствах семейств рекурсивно-перечислимых множеств”, Алгебра и логика, 27:5 (1988), 527–534
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2030 https://www.mathnet.ru/rus/al/v27/i5/p527
|
Статистика просмотров: |
Страница аннотации: | 59 | PDF полного текста: | 20 |
|