Search results

Soare R.I. [1977] Computational complexity, speedable and levelable sets J. Symbolic Logic, 42, № 4, 545-563 78.12.60 OS article Вернуться к поиску

Soare R.I. [1969] A note on degrees of subsets J. Symbolic Logic, 34, № 2, 256 70.01.65 S article Вернуться к поиску

Soare R.I. [1996] Computability and recursion Bull. Symbolic Logic, 2, № 3, 284-321 01.10.113 G article Вернуться к поиску

Soare R.I. [1978] Recursive enumerability Proc. Inter. Congress of Mathematicians, (Helsinki, 1978), v.I, 275-280, Helsinki 82.07.44 S article Вернуться к поиску

Soare R.I. [1999] The history and concept of computability Handbook of Computability Theory, Elsevier, 3-36 ? article Вернуться к поиску

Soare R.I. [2004] Computability theory and differential geometry Bull. Symbolic Logic, 10, № 4, 457-486 ? article Вернуться к поиску

Soare R.I. [1969] Constructive order types on cuts J. Symbolic Logic, 34, № 2, 285-289 70.03.74 article Вернуться к поиску

Soare R.I. [1976] The infinite injury method J. Symbolic Logic, 41, № 2, 513-530 77.03.59 OS article Вернуться к поиску

Soare R.I. [1999] An overview of the computable enumerable sets Handbook of Computability Theory, 199-248 ? O article Вернуться к поиску

Soare R.I. [1978] Recursively enumerable sets and degrees Bull. Amer. Math. Soc., 84, № 6, 1149-1181 79.07.74 S article Вернуться к поиску

Soare R.I. [1997] Computability and enumerability Proc. X Inter. Congress Logic, Methodology, Philosophy Sci., (Florence, 1995), 221-237 ? article Вернуться к поиску

Soare R.I. [1982] Computational complexity of recursively enumerable sets Inform. and Control, 52, № 1, 8-18 83.B6.617 S article Вернуться к поиску

Soare R.I. [1969] Sets with no subset of higher degree J. Symbolic Logic, 34, № 1, 53-56 69.12.125 article Вернуться к поиску

Soare R.I. [1969] Cohesive sets and recursively enumerable Dedekind cuts Pacif. J. Math., 31, № 1, 215-231 70.06.63 S article Вернуться к поиску

Soare R.I. [1972] The Friedberg-Muchnik theorem re-examined Canad. J. Math., 24 , № 6, 1070- 1078 73.07.93 OS article Вернуться к поиску

Soare R.I. [2000] Extensions, automorphisms and definability Contemporary Math., 257, 279-307 01.ВН12.67 article Вернуться к поиску

Harrington L. A., Soare R.I. [1998] Definable codable sets and orbits of computably enumerable sets ? ? article Вернуться к поиску

Ambos-Spies K., Lempp S., Soare R.I. ? Intervals of recursively enumerable degrees to appear ? article Вернуться к поиску

Jockusch C.G. Jr., Soare R.I. [1973] Encodability of Kleene’s O J. Symbolic Logic, 38, № 3, 437-440 74.07.119 S article Вернуться к поиску

Soare R.I. [1987] Recursively enumerable sets and degrees Omega series, Springer-Verlag (Имеется русский перевод.) 87.11.26 OG book Вернуться к поиску

Soare R.I. [1969] Recursion theory and Dedekind cuts Trans. Amer. Math. Soc., 140, № 6, 271-294 70.04.84 OS article Вернуться к поиску

Ambos-Spies K., Homer S., Soare R.I. [1994] Minimal pairs and complete problems Theor. Comput. Sci., 132, № 1-2, 229-241 ? O article Вернуться к поиску

Lerman M., Shore R.A., Soare R.I. [1978] r -maximal major subsets. Israel. J. Math., 31, № 1, 1-18 79.07.71 OS article Вернуться к поиску

Ambos-Spies K., Lachlan A.H., Soare R.I. [1993] The continuity of cupping to 0 / Ann. Pure Appl. Logic, 64, № 3, 195-209 ? article Вернуться к поиску

Soare R.I. [1974] Isomorphisms on countable vector space with recursive operations J. Austral. Math. Soc., A18, № 2, 230-235 75.08.107 G article Вернуться к поиску

Lerman M., Soare R.I. [1980] d -simple sets, small sets, and degree classes Pacif. J.Math., 87, № 1, 135-155 81.03.51 OS article Вернуться к поиску

Bennison V.L., Soare R.I. [1978] Some lowness properties and computational complexity sequences Theor. Comput. Sci., 6, № 3, 233-254 78.B11.1096 OS article Вернуться к поиску

Slaman T.A., Soare R.I. [2001] Extensions of embeddings in the computably enumerable degrees Ann. Math., 154, № 1, 1-43 05.09.86 O article Вернуться к поиску

Harrington L. A., Soare R.I. [1998] Definable properties of the computable enumerable sets Ann. Pure Appl. Logic, 94, № 1-3, 97-125 ? OS article Вернуться к поиску

Slaman T.A., Soare R.I. [1995] Algebraic aspects of the computably enumerable degrees Proc. Nat. Acad. Sci., USA, 92, № 2 , 617-621 ? OS article Вернуться к поиску

Harrington L. A., Soare R.I. [1991] Post’s program and incomplete recursively enumerable sets Proc. Nat. Acad. Sci., USA, 88, № 22 , 10242-10246 ? O article Вернуться к поиску

Morley M.D., Soare R.I. [1975] Boolean algebras, splitting theorems and Δ 2 0 sets Fund. Math., 90, № 1, 45-52 76.07.96 OS article Вернуться к поиску

Jockusch C.G. Jr., Soare R.I. [1971] A minimal pair of Π 1 0 classes J. Symbolic Logic, 36, № 1, 66-78 72.01.100 OS article Вернуться к поиску

Soare R.I. [1974] Automorphisms of the lattice of recursively enumerable sets Bull. Amer. Math. Soc., 80, № 1, 53-58 74.10.78 OS article Вернуться к поиску

Ambos-Spies K., Soare R.I. [1989] The recursively enumerable degrees have infinitely many-one types Ann. Pure Appl. Logic, 44, № 1-2 , 1-23 ? OS article Вернуться к поиску

Lachlan A.H. , Soare R.J. [1994] Models of arithmetic and upper bounds for arithmetic sets J. Symbolic Logic, 59, № 3, 977-983 95.03.54 article Вернуться к поиску

Lachlan A.H., Soare R. I. [1998] Model arithmetic and subuniform bounds for the arithmetic sets J. Symbolic Logic, 63, № 1, 59-72 01.12.123 article Вернуться к поиску

Harrington L. A., Soare R.I. [1996] Dynamic properties of computable enumerable sets London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 105-121 ? O article Вернуться к поиску

Harrington L. A., Soare R.I. [1998] Codable sets and orbits of computably enumerable sets J. Symbolic Logic, 63, № 1, 1-28 01.11.75 OS article Вернуться к поиску

Ambos-Spies K., Homer S., Soare R.I. [1990] Minimal pairs and complete problems Lect. Notes in Comp.Sci, 415, 24-36, Springer -Verlag ? O article Вернуться к поиску

Jockusch C.G. Jr., Soare R.I. [1973] Post's problem and his hypersimple set J. Symbolic Logic, 38, № 3, 446-452 74.07.119 OS article Вернуться к поиску

Jockusch C.G. Jr., Soare R.I. [1972] Degrees of members of Π 1 0 classes Pacif. J. Math. 40 , № 3 , 605-616 72.12.49 OS article Вернуться к поиску

Soare R.I. [1974] Automorphisms of the lattice of recursively enumerable sets, Part I: maximal sets Ann. Math., 100, № 1, 80-120 75.02.100 OS article Вернуться к поиску

Harrington L. A., Soare R.I. [1996] The Δ 2 0 -automorphism method and noninvariant classes of degrees J. Amer., Math. Soc., 9, № 3, 617-666 01.10.128 OS article Вернуться к поиску

Harrington L. A., Soare R.I. [1996] Definability, automorphisms and dynamic properties of computable enumerable sets Bull. Amer. Math. Soc., 2, № 2, 199-213 97.ВН5.31 O article Вернуться к поиску

Jockusch C.G. Jr., Soare R.I. [1970] Minimal covers and arithmetical sets Proc. Amer. Math. Soc., 25 , № 4, 856-859 71.08.58 OS article Вернуться к поиску

Soare R.I. [1980] Fundamental methods for constructing recursively enumerable degrees London Math. Soc. Lect. Notes, Cambridge Univ. Press, 45, 1-51 81.04.56 S article Вернуться к поиску

Bennison V.L., Soare R.I. [1977] Recursion theoretic characterization of complexity-theoretical properties 18 Ann. Symp. Found. Comput. Sci., Providence, RI, 100-106 78.B12.1611 article Вернуться к поиску

Jockusch C.G. Jr., Soare R.I. [1994] Boolean algebras, Stone spaces and the iterated Turing jump J. Symbolic Logic, 59, № 4, 1121-1138. 96.04.210 G article Вернуться к поиску

Knight J. F., Lachlan A. H., Soare R.I. [1984] Two theorems on degree of models of true arithmetic J. Symbolic Logic, 49, № 2, 425-436 85.01.55 S article Вернуться к поиску