Search results

Odifreddi P.G. [1981] Strong reducibilities Bull. Amer. Math. Soc., 4, № 1, 37-86 81.11.54 OS article Вернуться к поиску

Odifreddi P.G. [2000] Strong reducibilities, again Contemporary Math., 257, 215-220 01.ВН12.63 article Вернуться к поиску

Odifreddi P.G. [1978] Recorsivitá su ordinal admissibili Boll. Unione mat. ital., A15, № 3, 495-516 79.05.65 article Вернуться к поиску

Odifreddi P.G. [1981] Trees and degrees Lect. Notes in Math., 839, 235-271, Springer-Verlag 81.09.26 O article Вернуться к поиску

Odifreddi P.G. [1983] Forcing and reducibilities, I J. Symbolic Logic, 48, № 2, 288-310 84.03.79 OS article Вернуться к поиску

Odifreddi P.G. [1999] Reducibilities Handbook of Computability Theory, Elsevier, 89-119 ? O article Вернуться к поиску

Odifreddi P.G. [1996] Inductive inference of total functions London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 259-288 ? O article Вернуться к поиску

Odifreddi P.G. [1985] The structure of m -degrees Lect. Notes in Math., 1141, 315-332, Springer-Verlag 86.05.69 OS article Вернуться к поиску

Odifreddi P.G. [1985] Proprietá globali (automorfismi e definibilitá) degli m -gradi Bull. Union mat. ital., A4, № 1, 71-76 86.06.85 article Вернуться к поиску

Odifreddi P. [1989], [1992] Classical Recursive Theory, The theory of functions and sets of natural numbers, v. I, II Elsevier ? GOS book Вернуться к поиску

Odifreddi P.G. [1983] Forcing and reducibilities, II. Forcing in fragments of analysis J. Symbolic Logic, 48, № 3, 724-743 84.06.29 S article Вернуться к поиску

Odifreddi P.G. [1983] Forcing and reducibilities, III. Forcing in fragments of set theory J. Symbolic Logic, 48, № 4, 1013-1034 84.08.48 S article Вернуться к поиску

Odifreddi P.G. , Shore R. A. [1991] Global properties of local structures of degrees Bull. Union mat. ital., 7, № 1, 97-120 92.01.33 O article Вернуться к поиску

Odifreddi P.G. [1983] On the first order theory of the arithmetical degrees Proc. Amer. Math. Soc., 83, № 3, 505-507 83.11.59 O article Вернуться к поиску

O Oberschelp A. Odifreddi P.G. Odintsov S. P. Ogiwara M. Ohashi K. Omanadze R. Sh. Orlicki A. Ouspenski V.A. Owings J.C. Вернуться на главную страницу

... effective computability" (Russian version). E - Ershov Ju. L. "Theory of numberings" (Russian version). O – Odifreddi P. "Classical Recursive Theory, The theory of functions and sets of natural numbers, v. I, II". S – Soare R.I. "Recursively enumerable sets and degrees" (Russian version). G – Goncharov S.S., Ershov Ju. L. "Constructive Models" (Russian version). 7. Type of the paper: either book or article....