Search results

Solovay R.M. [1976] On sets Cook-reducible to sparse sets SIAM J. Comput., 5, № 4, 646-652 77.07.41 O article Вернуться к поиску

Jockusch C.G. Jr., Solovay R.M. [1977] Fixed-points of jump-preserving automorphisms of degrees Israel. J. Math., 26, № 1, 91-94 77.07.47 OS article Вернуться к поиску

Solovay R.M. [1985] Infinite fixed-point algebras Proc. AMS and ASL Summer Institute on Recursive Theory (Ithaca, New York), Lect. Notes in Math. 42, 473-486, Springer-Verlag 86.02.73 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 Вернуться к поиску

Fortnow L., Gasarch W. I., Jain S., Kinber E. B., Kummer M., Kurtz S. A., Pleszkoch M., Slaman T.A., Solovay R. M., Stephan F. [1994] Extremes in the degrees of inferability Ann. Pure Appl. Logic , 66, №.3, 231--276 ? O article Вернуться к поиску

... 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. Stoltenberg-Hansen V. StrongHR Sturgis H....