Author:
Fokina Ekaterina B.,Kalimullin Iskander,Miller Russell
Publisher
Springer Science and Business Media LLC
Reference17 articles.
1. Cholak P., Goncharov S.S., Khoussainov B., Shore R.A.: Computably categorical structures and expansions by constants. J. Symb. Log. 64, 13–37 (1999)
2. Fröhlich A., Shepherdson J.C.: Effective procedures in field theory. Philos. Trans. R. Soc. Lond. A 248(950), 407–432 (1956)
3. Goncharov S.S.: Problem of the number of non-self-equivalent constructivizations. Algebra Log. 19, 401–414 (1980)
4. Goncharov, S.S.: Nonequivalent constructivizations. In: Proceedings of Mathematical Institute of the Siberian Branch Academy of Sciences, Nauka, Novosibirsk (1982)
5. Goncharov, S.S.: Autostable models and algorithmic dimensions. In: Ershov, Y.L., Goncharov, S.S., Nerode, A., Remmel, J.B. (eds.) Handbook of Recursive Mathematics, vol. 1, pp. 261–287. Elsevier, Amsterdam (1998)
Cited by
72 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献