СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Изучаются группы автоморфизмов вычислимых формальных контекстов.
Предложен общий метод для переноса результатов об автоморфизмах вычислимых
структур
на вычислимые формальные контексты.
С помощью этого метода показано, что вычислимые формальные контексты и
вычислимые структуры фактически имеют те же самые группы автоморфизмов и группы
вычислимых автоморфизмов.
Построены примеры формальных контекстов и решеток понятий, которые
допускают нетривиальные автоморфизмы, но ни один из них не является
гиперарифметическим ни при каком
гиперарифметическом представлении этих контекстов структур, а также
показано, что возможна ситуация, когда
 два формальных понятия автоморфны, но не гиперарифметически автоморфны ни в
каком гиперарифметическом представлении.