Search results

Shoenfield J. R. [1991] Recursion Theory Lect. Notes in Logic, Springer ? book Вернуться к поиску

Shoenfield J.R. [1996] Priority constructions Ann. Pure Appl. Logic, 81, № 1-3, 115-123 98.02.55 article Вернуться к поиску

Shoenfield J.R. [1960] Degrees of models J. Symbolic Logic, 25, № 3, 233-237 63.01.85 OSG article Вернуться к поиску

Shoenfield J.R. [1968] A hierarchy based on a type 2 object Trans. Amer. Math. Soc., 134, № 1, 103-108 71.06.56 article Вернуться к поиску

Shoenfield J.R. [1967] Mathematical Logic Addison Wesley, Reading, Maass (Имеется русский перевод.) ? S book Вернуться к поиску

Shoenfield J.R. [1966] A theorem on minimal degrees J. Symbolic Logic, 31, № 4, 539-544 68.05.58 OS article Вернуться к поиску

Shoenfield J.R. [1958] Degrees of formal systems J. Symbolic Logic, 23, № 4, 389-392 61.03.95 OS article Вернуться к поиску

Shoenfield J.R. [1990] Non-bounding constructions Ann. Pure Appl. Logic, 50, № 2 , 191-205 91.06.51 O article Вернуться к поиску

Shoenfield J.R. [1971] Unramifield forsing Proc. Symp. Pure Appl. Math., 13, 357-381 ? O article Вернуться к поиску

Shoenfield J.R. [1961] Undecidable and creative theories Fund. Math., 49, № 2, 171-179 61.12.143 OS article Вернуться к поиску

Shoenfield J.R. [1971] Degrees of unsolvability Mathematics.Studies 2 , North-Holland (Имеется русский перевод.) ? SO book Вернуться к поиску

Shoenfield J.R. [1957] Quasicreative sets Proc. Amer. Math. Soc., 8, № 5, 964-967 59.4367 ROS article Вернуться к поиску

Shoenfield J.R. [1976] Degrees of classes of r. e. sets J. Symbolic Logic, 41, № 3 , 695-696 77.04.57 OS article Вернуться к поиску

Shoenfield J.R. [1959] On degrees of unsolvability Ann. Math., 69, № 3, 644-653 60.8519 ROS article Вернуться к поиску

Shoenfield J.R. [1958] The class of recursive functions Proc. Amer. Math. Soc., 9, № 5 , 690-692 59.7663 ROS article Вернуться к поиску

Shoenfield J.R. [1975] The decision problem for recursively enumerable degrees Bull. Amer. Math. Soc., 81, № 6, 973-977 76.09.81 S article Вернуться к поиску

Shoenfield J.R. [1960] An uncountable set of incomparable degrees Proc. Amer. Math. Soc., 11, № 1, 61- 62 61.04.76 ROS article Вернуться к поиску

Kreisel G., Lacombe D., Shoenfield J.R. [1957] Partial recursive functionals and effective operations Constructivity in Mathematics, North-Holland, 290-297 59.7674 ROS article Вернуться к поиску

Kreisel G., Shoenfield J.R., Wang Hao [1960] Number theoretic concepts and recursive well-orderings Arch. Math. Logik Grundl., 5. № 1-2, 42-64 61.05.82 O article Вернуться к поиску

Shoenfield J.R. [1965] Application of model theory to degrees of unsolvability Proc. “Symp. on the Theory of Models”, North-Holland, 359-363 (Русский перевод в сб. Математическая логика и ее применения, (Мальцев ...

Shoenfield J.R. [1962] Some applications of degrees Proc. I Inter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 56-59 (Русский перевод в сб. “Математическая логика и ее применения”,...

Шенфилд Дж. С. [1975] Математическая логика М., Наука (Перевод книги Shoenfield J. R. “Mathematical Logic”, 1967.) 76.02.43 E книга Вернуться к поиску

Шенфилд Дж. С. [1977] Степени неразрешимости М., Наука (Перевод книги Shoenfield J.R. “Degrees of unsolvability”, 1971.) 78.03.67 книга Вернуться к поиску

Chong C.T., Qian Lei. Slaman T.A., Yang Yue [2001] Σ 2 -induction and infinite injury priority arguments, III, Prompt sets, minimal pairs and Shoenfield’s conjecture Israel J. Math., 1 21, № 1, 1-28 ? article Вернуться к поиску

... Schwabhauser W. Schwarz S. T. Schwichtenberg H. Scott 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 ...