|
Сибирский математический журнал, 2005, том 46, номер 4, страницы 928–941
(Mi smj1015)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Спектры степеней определимых отношений на булевых алгебрах
П. М. Семухин Новосибирский государственный университет, механико-математический факультет
Аннотация:
Изучаются вопросы, связанные со строением спектра множества атомов и идеала безатомных элементов в вычислимой булевой алгебре. Доказано, что если спектр множества атомов содержит 1-низкую степень, то он содержит вычислимую степень. Также показано, что в вычислимой булевой алгебре характеристики $(1,1,0)$ с вычислимым множеством атомов спектр безатомного идеала состоит из всех $\Pi_2^0$ степеней.
Ключевые слова:
булевы алгебры, вычислимые модели, спектры отношений.
Статья поступила: 16.07.2003 Окончательный вариант: 27.04.2005
Образец цитирования:
П. М. Семухин, “Спектры степеней определимых отношений на булевых алгебрах”, Сиб. матем. журн., 46:4 (2005), 928–941; Siberian Math. J., 46:4 (2005), 740–750
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1015 https://www.mathnet.ru/rus/smj/v46/i4/p928
|
Статистика просмотров: |
Страница аннотации: | 245 | PDF полного текста: | 62 | Список литературы: | 57 |
|