|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Семухин П. М. Спектры степеней определимых отношений на булевых алгебрах //
Том 46 (2005), Номер 4,
стр. 928941
Изучаются вопросы, связанные со строением спектра множества атомов и идеала безатомных элементов в вычислимой булевой алгебре. Доказано, что если спектр множества атомов содержит 1-низкую степень, то он содержит вычислимую степень. Также показано, что в вычислимой булевой алгебре характеристики (1,1,0) с вычислимым множеством атомов спектр безатомного идеала состоит из всех $\Pi^0_2$ степеней.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|