Abstract
We show that not each model can be replaced by a model of finite signature so that its automorphism group remains the same.
Similar content being viewed by others
References
Ershov Yu. L. and Goncharov S. S., Constructive Models, Kluwer Academic / Plenum Publishers, New York etc. (2000) (Siberian School of Algebra and Logic).
Rogers H., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Comp., New York; St. Louis; San Francisco; Toronto; London; Sydney (1967).
Morozov A. S., “Computable automorphisms of models,” in: Abstracts: Mathematisches Forschungsinstitut Oberwolfach Tagungsbericht 3/2001, Berechenbarkeitstheorie 21.01.-27.01.2001, Oberwolfach, 2001, pp. 6–7.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Morozov, A.S. On the Problem of Finite Signature. Siberian Mathematical Journal 44, 170–173 (2003). https://doi.org/10.1023/A:1022032908561
Issue Date:
DOI: https://doi.org/10.1023/A:1022032908561