Search results

Cenzer D., Clote P., Smith R. L., Soare R.I., Wainer S.S. [1986] Members of countable Π 1 0 classes Ann. Pure Appl. Logic, 31, № 2-3 , 145-163 ? S article Вернуться к поиску

Soare R.I. [1982] Automorphisms of the lattice of recursively enumerable sets, Part II: Low sets Ann. Math.Logic, 22, № 1, 69-107 82.12.45 OS article Вернуться к поиску

Soare R.I., Stob M. [1982] Relative recursive enumerability Proc. Herbrand Symp. Logic (Marseilles, 1981), Studies Logic and the Foundations of Math., 107, 229-324, North-Holland ? S article Вернуться к поиску

Fejer L., Soare R.I. [1981] The plus-cupping theorem in the recursively enumerable degrees Lect. Notes in Math., 859, 49-62, Springer-Verlag 82.02.53 OS article Вернуться к поиску

Jockusch C.G. Jr., Soare R.I. [1972] Π 1 0 classes and degrees of theories Trans. Amer. Math. Soc., 173 , № 11, 33-56 73.08.52 OS article Вернуться к поиску

Lachlan A.H., Soare R. I. [1980] Not every finite lattice is embeddable in the recursively enumerable degrees Adv. in Math., 37, № 1, 74-82 81.03.269 OS article Вернуться к поиску

Lerman M., Shore R.A., Soare R.I. [1984] The elementary theory of the recursively enumerable degrees is not ℵ 0 -categorical, Adv. in Math., 53, № 3, 301-320 ? OS article Вернуться к поиску

Cooper S.B., Harrington L. A., Lachlan A.H., Lempp S., Soare R.I. [1991] The d.r.e. degrees are not dense Ann. Pure Appl. Logic, 55, № 2, 125-151 92.06.52 O article Вернуться к поиску

Soare R.I. [1981] Constructions in the recursively enumerable degrees Recursion Theory and Computational complexity, Proc. Centro Inter. Math. Estivo (C.I.M.E.), (Bressanone, Italy, 1979), Liguori Editore, Naples, Italy ? S article Вернуться к поиску

Jockusch C.G. Jr., Soare R.I. [1991] Degrees of orderings not isomorphic to recursive linear orderings Ann. Pure Appl. Logic, 52, № 1-2, 39-64 91.12.32 G article Вернуться к поиску

Lerman M., Soare R.I. [1980] A decidable fragment of the elementary theory of the lattice of recursively enumerable sets Trans. Amer. Math. Soc., 257, № 1, 1-37 80.10.46 OS article Вернуться к поиску

Harrington L. A., Soare R.I. [1992] Games in recursion theory and continuity properties of capping degrees Proc. Workshop on set theory and the continuum, 39-62, Math. Sci. Research Inst., Berkeley ? article Вернуться к поиску

Jockusch C.G. Jr., Lerman M., Soare R.I., Solovay R.M. [1989] Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion J. Symbolic Logic, 54, № 4, 1288-1323 90.12.34 OS article Вернуться к поиску

Soare R.I. [1985] Tree arguments in recursion theory and the 0 /// -priority method Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 53-106 86.03.55 OS article Вернуться к поиску

Ambos-Spies K., Jockusch C.G. Jr., Shore R. A., Soare R. I. [1984] An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees Trans. Amer. Math. Soc., 281, № 1, 109-128 84.09. OS article Вернуться к поиску

Соар Р. [2000] Вычислимо перечислимые множества и степени Казань, Казанское матем. общество (Перевод книги Soare R.I. “Recursively enumerable sets and degrees”, 1987.) ? книга Вернуться к поиску

.... Yu. Shelach S. Shen A.Kh. Shepherdson J.C. Shi Nian Dong Shinoda J. Shlapentokh A. Shoenfield J.R. Shore R.A. Silibovski S. Simon J. Simpson S.G. Skolem T. Skordev D. Skvortsova E.Z. Slaman T. A. Slinko A. Smith R.L. Smuga-Otto M. J. Smullyan R.M. Soare R. I. SolomonDR SolomonR Solon B. Solovay R.M. Sorbi A. SoskovIN SoskovaAA SoskovaMI Spector C. Sperschneider V. Spreen D. Stanley L. Stearns R.E. Steel J.R. Stefani S. Stephan F. Stephen B. Stewart F.M. Steyaert J.M. Stillwell J. Stob M. Stockmeyer L.J....

... and 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. For example: Abraham U., Shore R.A. [1986] ...