|
Алгебра и логика, 2002, том 41, номер 2, страницы 228–252
(Mi al182)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
$\Sigma$-допустимые семейства над линейными порядками
А. И. Стукачев Новосибирский государственный университет
Аннотация:
Рассматриваются допустимые множества вида $\operatorname{HYP}(\mathfrak M)$, где $\mathfrak M$ – рекурсивно насыщенная система. Дается описание подмножеств $\mathfrak M$, являющихся $\Sigma_*$-множествами в $\operatorname{HYP}(\mathfrak M)$, и семейств подмножеств $\mathfrak M$, образующих $\Sigma$-регулярные семейства в $\operatorname{HYP}(\mathfrak M)$, в терминах введенного понятия фундаментальности. Описываются фундаментальные подмножества и семейства для моделей плотного линейного порядка.
Ключевые слова:
допустимые множества, рекурсивно насыщенная система, $\Sigma$-регулярное семейство, фундаментальное подмножество.
Поступило: 14.07.2000
Образец цитирования:
А. И. Стукачев, “$\Sigma$-допустимые семейства над линейными порядками”, Алгебра и логика, 41:2 (2002), 228–252; Algebra and Logic, 41:2 (2002), 127–139
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al182 https://www.mathnet.ru/rus/al/v41/i2/p228
|
Статистика просмотров: |
Страница аннотации: | 356 | PDF полного текста: | 105 | Список литературы: | 65 | Первая страница: | 1 |
|