Literature cited
Yu. G. Ventosov, "On effective choice of constructivizations," Siberian Advances in Mathematics,2, No. 1, 1–7 (1992).
Yu. G. Ventsov, "Effective choice of constructivizations and recursive compatibility of problems on constructive models," Algebra Logika,31, No. 1, 3–20 (1992).
Yu. G. Ventsov, "Nonuniform stability of models," Algebra Logika,26, No. 6, 68–70 (1987).
Yu. L. Ershov, Decidability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
V. A. Uspenskii and A. L. Semenov, Theory of Algorithms: Fundamental Discoveries and Applications [in Russian], Nauka, Moscow (1987).
S. S. Goncharov and V. D. Dzgoev, "Autostability of models," Algebra Logika,19, No. 2, 45–58 (1980).
C. J. Ash and A. Nerode, "Intrinsically recursive relations," in: Aspects of Effective Algebra, Proc. Conf. Monash Univ., Australia, 26–41 (1981).
J. Chisholm, "The complexity of intrinsically r.e. subsets of existentially decidable models," J. Symbol. Log.,55, No. 3 (1990).
M. S. Manasse, Techniques and Counterexamples in Almost Categorical Recursive Model Theory, Ph.D. Dissertation, University of Wisconsin (1982).
J. Chisholm, Doctoral Dissertation, University of Wisconsin, Madison.
C. Ash, J. Knight, M. Manasse, and T. Slaman, "Generic copies of countable structures," Ann. Pure Appl. Log.,42, 195–205 (1989).
H. Rogers, Theory of Recursive Functions and Effective Computability, MIT Press (1987).
A. I. Mal'tsev, "Constructive Models. I," Usp. Mat. Nauk,16, No. 3, 3–60 (1961).
J. N. Crossley, A. B. Manaster, and M. F. Moses, "Recursive categoricity and recursive stability," Logic Paper, Monash University, No. 49 (1983).
C. J. Ash, "Stability of recursive structures in arithmetical degrees," Ann. Pure Appl. Log.,32, 111–135 (1986).
Additional information
Translated from Algebra i Logika, Vol. 31, No. 2, pp. 101–118, March–April, 1992.
Translated by A. Sergeeva
Rights and permissions
About this article
Cite this article
Ventsov, Y.G. Effective choice for relations and reducibilities in classes of constructive and positive models. Algebr Logic 31, 63–73 (1992). https://doi.org/10.1007/BF02259845
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02259845