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

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

Skorobogatov K. M.
Parametric groups of definable automorphisms of strongly constructive models

We study the groups of definable automorphisms of constructive models. We introduce parametric groups of definable automorphisms and obtain a full description of all possible parametric groups of definable automorphisms of strongly constructive models, as well as corollaries for models in finite signatures.

Полный текст статьи / Full texts:

• PDF file
• PostScript file