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.
Similar content being viewed by others
References
Grant I., “Automorphisms definable by formulas,” Pacific J. Math., 44, No. 1, 107–115 (1973).
Birkhoff G., “Sobre los grupos de automorfismos,” Rev. Un. Mat. Argentina, 11, No. 4, 155–157 (1945–1946).
Chang C. C. and Keisler H. J., Model Theory, North-Holland, Amsterdam and London (1973).
Ershov Yu. L. and Goncharov S. S., Constructive Models, ser. Siberian School of Algebra and Logic, Kluwer Academic/Plenum Publishers, New York, etc. (2000).
Mal’cev A. I., Algorithms and Recursive Functions, Wolters-Noordhoff Publishing, Groningen (1970).
Morozov A. S., “Elementary submodels of parametrizable models,” Siberian Math. J., 47, No. 3, 491–504 (2006).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text Copyright © 2011 Skorobogatov K. M.
__________
Novosibirsk. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 52, No. 2, pp. 446–453, March–April, 2011.
Rights and permissions
About this article
Cite this article
Skorobogatov, K.M. Parametric groups of definable automorphisms of strongly constructive models. Sib Math J 52, 352–357 (2011). https://doi.org/10.1134/S0037446611020194
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446611020194