|
|
|
|
References
|
|
| |
| 1. |
Yu. L. Ershov, Opredelimost i vychislimost, Sibirskaya shkola algebry i logiki, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996   |
| 2. |
J. Barwise, Admissible sets and structures, Springer-Velag, Berlin, 1975 |
| 3. |
C. C. Goncharov, Yu. L. Ershov, Konstruktivnye modeli, Sibirskaya shkola algebry i logiki, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996 |
| 4. |
Yu. L. Ershov, “$\Sigma$-definability of algebraic systems”, Handbook of recursive mathematics. Vol. 1: Recursive model theory, Stud. Logic Found. Math., 138, eds. Yu. L. Ershov et al., Elsevier, Amsterdam, 1998, 235–260 |
| 5. |
Kh. Rodzhers, Teoriya rekursivnykh funktsii i effektivnaya vychislimost, Mir, M., 1972 |
| 6. |
R. Rogers, Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967 |
| 7. |
G. E. Sacks, Higher recursion theory, Perspect. Math. Log., Springer-Verlag, Berlin etc., 1990 |
