|
Sibirskii Matematicheskii Zhurnal, 2011, Volume 52, Number 2, Pages 446–453
(Mi smj2210)
|
|
|
|
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.
Received: 12.05.2010
Citation:
K. M. Skorobogatov, “Parametric groups of definable automorphisms of strongly constructive models”, Sibirsk. Mat. Zh., 52:2 (2011), 446–453; Siberian Math. J., 52:2 (2011), 352–357
Linking options:
https://www.mathnet.ru/eng/smj2210 https://www.mathnet.ru/eng/smj/v52/i2/p446
|
|