Parametric groups of definable automorphisms of strongly constructive models

K. M. Skorobogatov

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia

Abstract: 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.

Keywords: computable model, constructive model, automorphism, definable automorphism, automorphism group.

UDC: 510.57+510.67

Received: 12.05.2010

 English version: Siberian Mathematical Journal, 2011, 52:2, 352–357

Bibliographic databases:

• 
• 
•