|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Касымканулы Б. Автоморфизмы булевых алгебр, рекурсивные на атомах //
Том 40 (1999), Номер 3,
стр. 561566
Изучаются автоморфизмы конструктивных булевых алгебр с ослабленным условием вычислимости, а именно автоморфизмы, рекурсивные на атомах. Для таких автоморфизмов изучается связь группы автоморфизмов атомных булевых алгебр, рекурсивных на атомах, с самой булевой алгеброй, а также свойства названных групп. Библиогр.~9.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|