Search results

Spector C. [1956] On degrees of recursive unsolvability Ann. Math., 64, № 3, 581-592 58.4456 ROS article Вернуться к поиску

Spector C. [1955] Recursive well-orderings J. Symbolic Logic, 20, № 2, 151-163 56.7838 ROS article Вернуться к поиску

Spector C. [1958] Measure theoretic construction of incomparable hyperdegrees J. Symbolic Logic, 23, № 3, 280-288 61.04.75 R article Вернуться к поиску

Spector C. [1961] Inductively defined sets of natural numbers Infitistic Methods, Proc. Symp. on Foundation Math., (Warsaw, 1959), Pergamon Press, 97-102 63.12.44 S article Вернуться к поиску

Feferman S., Spector C. [1962] Incompleteness along paths in progressions of theory J. Symbolic Logic, 27, № 4, 383-390 (Русский перевод в сб. Математика, 1971, 15, № 6, 159-166.) 64.12.66 RO article Вернуться к поиску

Harrington L., Kechris A.S. [1975] On characterizing Spector classes J. Symbolic Logic, 40, № 1, 19-24 75.12.58 article Вернуться к поиску

Lachlan A.H. [1971] Solution to a problem of Spector Canad. J. Math., 23, № 2, 247-256 71.11.97 OS article Вернуться к поиску

Ishmukhametov Sh.Т. [1999] Weak recursive degrees and a problem of Spector Recursive Theory and Complexity, Kazan’97 Workshop, (Kazan, 1997), v. 2, 81-88, de Gruyter ? article Вернуться к поиску

... 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. E. Su Kaile Surányi J. Suzuki Y. Szmielew W. Вернуться ...