RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 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$ решетки р.п. множеств.

УДК: 510.5

Поступило: 11.03.1987


 Англоязычная версия: DOI: 10.1007/BF01982272

Реферативные базы данных:


© МИАН, 2024