Author:
Frolov Andrey,Zubkov Maxim
Funder
Mathematical Center in Akademgorodok
Russian Science Foundation
Volga Region Mathematical Center
Publisher
Springer Science and Business Media LLC
Reference28 articles.
1. Maltsev, A.I.: On recursive abelian groups. Sov. Math. Dokl. 3, 1431–1434 (1962)
2. Spector, C.: Recursive well-orderings. J. Symb. Logic 20, 151–163 (1955)
3. Goncharov, S.S.: The quantity of nonautoequivalent constructivizations. Algebra Logic 16, 257–282 (1977)
4. Goncharov, S.S.: Autostability and computable families of constructivizations. Algebra Logic 14, 647–680 (1975)
5. Goncharov, S.S., Dzgoev, V.D.: Autostability of models. Algebra Logic 19, 45–58 (1980)