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

Алгебра и логика, 2002, том 41, номер 2, страницы 228–252 (Mi al182)

Эта публикация цитируется в 6 статьях

$\Sigma$-допустимые семейства над линейными порядками

А. И. Стукачев

Новосибирский государственный университет

Аннотация: Рассматриваются допустимые множества вида $\operatorname{HYP}(\mathfrak M)$, где $\mathfrak M$ – рекурсивно насыщенная система. Дается описание подмножеств $\mathfrak M$, являющихся $\Sigma_*$-множествами в $\operatorname{HYP}(\mathfrak M)$, и семейств подмножеств $\mathfrak M$, образующих $\Sigma$-регулярные семейства в $\operatorname{HYP}(\mathfrak M)$, в терминах введенного понятия фундаментальности. Описываются фундаментальные подмножества и семейства для моделей плотного линейного порядка.

Ключевые слова: допустимые множества, рекурсивно насыщенная система, $\Sigma$-регулярное семейство, фундаментальное подмножество.

УДК: 510.5

Поступило: 14.07.2000


 Англоязычная версия: Algebra and Logic, 2002, 41:2, 127–139

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


© МИАН, 2024