RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 2011, том 52, номер 2, страницы 446–453 (Mi smj2210)

Параметрические группы определимых автоморфизмов сильно конструктивных моделей

К. М. Скоробогатов

Институт математики им. С. Л. Соболева СО РАН, Новосибирск

Аннотация: Изучаются группы определимых автоморфизмов конструктивных моделей. Введено понятие параметрической группы определимых автоморфизмов. Получено полное описание всех возможных параметрических групп определимых автоморфизмов сильно конструктивных моделей, а также следствия для моделей в конечных сигнатурах.

Ключевые слова: вычислимая модель, конструктивная модель, автоморфизм, определимый автоморфизм, группа автоморфизмов.

УДК: 510.57+510.67

Статья поступила: 12.05.2010


 Англоязычная версия: Siberian Mathematical Journal, 2011, 52:2, 352–357

Реферативные базы данных:


© МИАН, 2024