Search results

Cooper S.B., Slaman T.A., Wainer S.S. [1996] Appendix: questions in recursive theory London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 333-347 ? article Вернуться к поиску

Cooper S.B., Li A. [2002] Splitting and nonsplitting, II: A low 2 c.e. degree above which 0 / is not splitting J. Symbolic Logic, 67, № 4, 1391-1430 06.01.74 article Вернуться к поиску

Arslanov M. M., Cooper S.B., Li A. [2000], [2004] There is no low maximal d -c.e. degree Math. Logic Quarterly, 46, № 3, 409-416, corr. 50, № 6, 628-636 ? article Вернуться к поиску

Cooper S.B. [1990] The jump is definable in the structure of the degrees of unsolvability, Bull. Amer. Math. Soc., 23, № 1, 151-158 91.09.46 O article Вернуться к поиску

Cooper S.B. [1997] Beyond Gödel theorem : the failure to capture information content Lect. Notes in Pure and Appl. Math., 187, 93-122, Marcel Dekker, N.Y. ? OS article Вернуться к поиску

Cooper S.B. [1994] Rigidity and definability in the non computable universe Proc. IX Inter. Congress Logic, Methodology, Philosophy Sci., (Uppsala, 1991), North-Holland, 209-236 ? OS article Вернуться к поиску

Cooper S. B., Soskova M. I. [2007] The strongest nonsplitting theorem Lect. Notes in Comp. Sci., 4484, Theory and Applications of Model of Computation, China, 199-211 ? article Вернуться к поиску

Cooper S.B., Yi Xiaoding [1995] The discontinuity of splitting in the recursively enumerable degrees Arch. Math. Logik Grundl., 34, № 4, 247-256 97.06.136 article Вернуться к поиску

Cooper S.B. (et al. eds) [1996] Computability, Enumerability, Unsolvability: directions in Recursion Theory London Math. Soc. Lect. Notes, 224, Cambridge Univ. Press ? book Вернуться к поиску

Cooper S.B., Li A., Yi Xiaoding [2002] On the distribution of Lachlan nonsplitting bases Arch. Math. Logik Grundl., 41, № 5, 455-482 05.09.78 article Вернуться к поиску

Cooper S.B., Li A. Sorbi A., Yang Yue [2005] Bounding and non bounding minimal pairs in the enumerable degrees J. Symbolic Logic, 70, № 3, 741-766 ? article Вернуться к поиску

Cooper S.B., Harrington L. A., Lachlan A.H., Lempp S., Soare R.I. [1991] The d.r.e. degrees are not dense Ann. Pure Appl. Logic, 55, № 2, 125-151 92.06.52 O article Вернуться к поиску

Cooper S.B. [1974] An annotated bibliography for the structure of degrees below 0 / with special reference to that of the recursively enumerable degrees, Recursive Function Theory Newsletter, 5, 1-15 ? S article Вернуться к поиску

Cooper S.B. [1984] Partial degrees and the density problem, II, The enumeration degrees of the Σ 2 0 sets are dense J. Symbolic Logic, 49, № 2, 503-513 85.02.55 OS article Вернуться к поиску

Arslanov M. M., Chong C.T., Cooper S.B., Yang Yue [2005] The minimal e -degree problem in fragments of Peano arithmetic Ann. Pure Appl. Logic, 131, № 1-3, 159-175 ? article Вернуться к поиску

Cooper S.B., Sorbi A., Yi Xiaoding [1996] Cupping and noncupping in the enumeration degrees of Σ 2 0 sets Ann. Pure Appl. Logic, 82, № 3, 317-342 01.10.26 O article Вернуться к поиску

Cooper S.B., Salts M.C., Wu G. [2008] The non isolating degrees are upwards dense in the computable enumerable degrees Lect. Notes in Comp. Sci., 4978, 588-596, Springer -Verlag ? article Вернуться к поиску

Arslanov M.M., Cooper S.B., Kalimullin I.Sh.,Soskova M.I. [2008] Total degrees and nonsplitting properties of Σ 2 0 - enumeration degrees Lect. Notes in Comp. Sci., 4978, 568-578, Springer -Verlag ? , article Вернуться к поиску

Cooper S.B. [2002] On the intensionality of Turing definitions Proc. Inter. Conf. “Logic and Its Appl.”, devoted to Yu. Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 40-58 05.11.115 article Вернуться к поиску

Ishmukhametov Sh.Т. [2003] On a problem of Cooper and Epstein J. Symbolic Logic, 68, № 1, 52-64 06.01.72 article Вернуться к поиску

.... Carroll J.S. Carstens H.G. Casalegno P. CaseJ Catlin S. Cay L. Cenzer D Chaitin G. ChenJ ChenKeh Hsun ChenZhixiang Chisholm J. Cholak P. Chong C.T. Chubb J. Church A. Clarke D.A. Cleave J.P. Clote P. Cobham A. Cohen P.F. Coles R. J. Constable R.L. Cooper S. B. CopestakeCS CopestakeK Criscuolo G. Crossley J. Csima B. Cutland N. J. Вернуться на главную страницу