О вычислимых автоморфизмах в анализе формальных понятий

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