Search results

Simpson S.G. (ed.) [2005] Reverse Mathematics Lect. Notes in Logic, 21 ? book Вернуться к поиску

Simpson S.G. [1975] Minimal covers and hyperdegrees Trans. Amer. Math. Soc., 209, № 1, 45-64 77.01.47 article Вернуться к поиску

Simpson S. G. [2005] Mass problems and randomness Bull. Symbolic Logic, 11, № 1, 1-27 ? article Вернуться к поиску

Simpson S. G. [1987] Unprovable theorems and fast growing functions Contemporary Math., 65, 359-394 87.12.59 article Вернуться к поиску

Simpson S.G. [2007] Almost everywhere domination and superhighness Math. Logic Quarterly, 53, № 4-5, 462-482 ? article Вернуться к поиску

Simpson S.G. [2007] Mass problems and almost everywhere domination Math. Logic Quarterly, 53, № 4-5, 483-492 ? article Вернуться к поиску

Simpson S.G. (ed.) [2005] Reverse Mathematics Lect. Notes in Logic, 21 ? book Вернуться к поиску

Simpson S. G., Rao J. [1998] Reverse algebra Handbook of Recursive Mathematics, v.2, 1355-1372, Elsevier ? article Вернуться к поиску

Giusto M., Simpson S.G. [2000] Located sets and reverse mathematics J. Symbolic Logic, 65, № 3, 1451-1480 05.01.26 article Вернуться к поиску

Lerman M., Simpson S.G. [1973] Maximal sets in α-recursion theory Israel. J. Math., 4, № 3, 236-247 74.02.43 O article Вернуться к поиску

Dobrinen N., Simpson S. G. [2004] Almost everywhere domination J. Symbolic Logic, 69, № 3, 914-922 ? article Вернуться к поиску

Sacks G.E., Simpson S.G. [1972] The α-finite injury method Ann. Math. Logic, 4, № 4, 343-367 73.04.84 OS article Вернуться к поиску

Friedman H.M., Simpson S.G. [2000] Issues and problems in reverse mathematics Contemporary Math., 257, 127-144 04.09.32 article Вернуться к поиску

Simpson S.G. [2007] An extension of the recursively enumerable Turing degrees J. London Math. Soc., 75, 287-297 09.03.144 article Вернуться к поиску

Simpson S.G. [1977] First-order theory of the degrees of recursive unsolvability Ann. Math., 105, № 1, 121-139 77.09.53 OS article Вернуться к поиску

Simpson S.G. [1980] The hierarchy based on the jump operator Proc. “The Kleene Symposium”, (Madison, Wisconsin , USA, 1979), North-Holland, 203-212 ? article Вернуться к поиску

Simpson S.G. [1978] Sets which do not have subsets of every higher degree J. Symbolic Logic, 43, № 1, 135-138 79.01.66 S article Вернуться к поиску

Simpson S. G. Weitkamp G. [1983] High and low Kleene degrees of coanalitic sets J. Symbolic Logic, 48, № 2, 356-368 84.03.73 article Вернуться к поиску

Brown D.K., Giusto M., Simpson S.G. [2002] Vitali’s theorem and WWKL Arch. Math. Logik Grundl., 41, № 2, 191-206 04.11.108 article Вернуться к поиску

Simpson S. G. [1985] Recursion theoretic aspects of the dual Ramsey theorem Lect. Notes in Math., 1141, 357-371, Springer-Verlag 86.05.71 S article Вернуться к поиску

Simpson S.G. [1978] Basis theorems and countable admissible ordinals Actes du Coll. de Logique , (Clermont-Ferrand, 1975), Paris, 161-165 78.08.76 article Вернуться к поиску

Hrbacek K., Simpson S.G. [1980] On Kleene degrees of analytic sets Proc. “The Kleene Symposium”, (Madison, Wisconsin , USA, 1979), North-Holland, 269-274 ? article Вернуться к поиску

Simpson S.G. [1974] Post's problem for admissible sets General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 437-441, North Holland 75.05.79 O article Вернуться к поиску

Simpson S.G. [1982] Four test problems in generalized recursion theory Proc VI Inter. Congress Logic, Methdology, Philosophy Sci., (Hannover, 1979), North-Holland, 263-270 ? article Вернуться к поиску

Simpson S.G. [1974] Degree theory on admissible ordinals General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 165-194, North Holland 75.06.116 article Вернуться к поиску

Simpson S.G. [1978] Short course on admissible recursion theory General Recursion Theory, II, Proc. Symp. (Oslo, 1977), 355-390, North Holland 79.07.78 article Вернуться к поиску

Jockusch C.G. Jr., Simpson S.G. [1976] A degree-theoretic definition of the ramified analytical hierarchy Ann. Math. Logic, 10, № 1, 1-32 77.03.56 OS article Вернуться к поиску

Binns S., Simpson S.G. [2004] Embeddings into the Medvedev and Muchnik lattices of Π 1 0 classes Arch. Math. Logik Grundl., 43, № 3, 399-414 06.09.55 article Вернуться к поиску

Simpson S. G. [1985] Reverse Mathematics Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 461-471 86.03.26 article Вернуться к поиску

Simpson S.G. [1980] Degrees of unsolvability: a survey results Handbook of Mathematic Logic, p.D, North-Holland, 631-652 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю....

Simpson S.G. [2008] Some fundamental issues concerning degrees of unsolvability Proc. IMS Workshop "Computational Prospects of Infinity", (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 313-332 ? article Вернуться ...

Mytilinaios M.E., Slaman T.A. [1996] On a question of Brown and Simpson London Math. Soc. Lect. Notes, Cambridge Univ. Press, Cambridge, 224, 205-218 ? article Вернуться к поиску

Kjos-Hanssen B., Lerman M., Solomon R., Stephen B. [2006] On a conjecture of Dobrinen and Simpson concerning almost every domination J. Symbolic Logic, 71, № 1, 119-136. ? article Вернуться к поиску

Binns S., Kjos-Hansen B., Lerman M., Solomon D.R. [2006] On a question of Dobrinen and Simpson concerning almost everywhere domination J. Symbolic Logic, 71, № 1 , 119-136 ? article Вернуться к поиску

... D. Seetapun D. Seidenberg A. Seigneur A. Selivanov V.L. Selman A.L. Semenov A.L. Semukhin P. Shapiro N. Shavrukov V. 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 ...