|
Алгебра и логика, 2000, том 39, номер 6, страницы 711–719
(Mi al249)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Определимость булевых алгебр в $\mathbb{HF}$-надстройках,
А. В. Ромина Новосибирский государственный университет
Аннотация:
В рамках подхода $\Sigma$-определимости, введенного Ю. Л. Ершовым, изучается определимость булевых алгебр и их рангов Фреше в наследственно-конечных надстройках. Строятся примеры суператомной булевой алгебры, ранг Фреше которой не является $\Sigma$-определимым в наследственно конечной надстройке над ней, и допустимого множества, в котором безатомная булева алгебра не является автоустойчивой.
Поступило: 05.05.1999 Окончательный вариант: 08.06.1999
Образец цитирования:
А. В. Ромина, “Определимость булевых алгебр в $\mathbb{HF}$-надстройках,”, Алгебра и логика, 39:6 (2000), 711–719; Algebra and Logic, 39:6 (2000), 407–411
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al249 https://www.mathnet.ru/rus/al/v39/i6/p711
|
Статистика просмотров: |
Страница аннотации: | 242 | PDF полного текста: | 111 | Первая страница: | 1 |
|