|
Сибирский математический журнал, 2011, том 52, номер 2, страницы 446–453
(Mi smj2210)
|
|
|
|
Параметрические группы определимых автоморфизмов сильно конструктивных моделей
К. М. Скоробогатов Институт математики им. С. Л. Соболева СО РАН, Новосибирск
Аннотация:
Изучаются группы определимых автоморфизмов конструктивных моделей. Введено понятие параметрической группы определимых автоморфизмов. Получено полное описание всех возможных параметрических групп определимых автоморфизмов сильно конструктивных моделей, а также следствия для моделей в конечных сигнатурах.
Ключевые слова:
вычислимая модель, конструктивная модель, автоморфизм, определимый автоморфизм, группа автоморфизмов.
Статья поступила: 12.05.2010
Образец цитирования:
К. М. Скоробогатов, “Параметрические группы определимых автоморфизмов сильно конструктивных моделей”, Сиб. матем. журн., 52:2 (2011), 446–453; Siberian Math. J., 52:2 (2011), 352–357
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2210 https://www.mathnet.ru/rus/smj/v52/i2/p446
|
|