Search results

Cenzer D.,Remmel J.B. [1998] Complexity and categoricity Inform and Comput., 140, № 1, 2-25 98.ВН11.96 article Вернуться к поиску

Cenzer D. [1977] Non-generable r.e. sets Lect. Notes in Comp.Sci.,56, 379-385, Springer -Verlag 79.06.62 O article Вернуться к поиску

Cenzer D. [1999] Π 1 0 classes in computability theory Handbook of Computability Theory, Elsevier, 37-85, ? article Вернуться к поиску

Cenzer D., Remmel J. B. [1998] Π 1 0 - classes in mathematics Handbook of Recursive Mathematics, v.2, 623-821, Elsevier ? article Вернуться к поиску

Cenzer D., Remmel J. B. [1998] Complexity theoretical model theory and algebra Handbook of Recursive Mathematics, v.2, 381-513, Elsevier ? article Вернуться к поиску

Cenzer D., Remmel J. B. [1991] Polynominal-time versus recursive models Ann. Pure Appl. Logic, 54, № 1, 17-58 82.03.87 article Вернуться к поиску

Cenzer D. [1984] Monotone reducibility and the family of infinite sets J. Symbolic Logic, 49, № 3, 774-782 85.04.35 article Вернуться к поиску

Cenzer D., Remmel J.B. [1991] Polynomial-time versus recursive models Ann. Pure Appl. Logic, 54, № 1, 17-58 92.03.87 G article Вернуться к поиску

Cenzer D., Jockusch C.G. Jr. [2000] Π 1 0 classes – structure and applications Contemporary Math., 257, 39-59 03.05.27 article Вернуться к поиску

Cenzer D.A.,Smith R.L. [1989] On the ranked points of a Π 1 0 set J. Symbolic Logic, 54, № 3, 975-991 90.09.19 article Вернуться к поиску

Cenzer D., Nies A. [2001] Initial segments of the lattice of Π 1 0 classes J. Symbolic Logic, 66, № 4, 1749-1765 05.08.99 article Вернуться к поиску

Cenzer D., Remmel J. [2006] On the complexity of inductive definitions Math. Struc. Comp. Sci., 16, № 5, 763-788 BH08.11.105 article Вернуться к поиску

Cenzer D.,Remmel J.B. [2002] Effectively closed sets and graphs of computable real functions Theor. Comp. Sci., 284, № 2, 279-318 04. ВН1.174 article Вернуться к поиску

Cenzer D., Nies A. [2004] Global properties of the lattice of Π 1 0 - classes Proc. Amer. Math. Soc., 132, № 1, 239-249 08.01.203 article Вернуться к поиску

Cenzer D., Hinman P. G. [2003] Density of the Medvedev lattice of Π 1 0 classes Arch. Math. Logik Grundl., 42, № 6, 583-600 05.08.80 article Вернуться к поиску

Cenzer D., Clote P., Smith R. L., Soare R.I., Wainer S.S. [1986] Members of countable Π 1 0 classes Ann. Pure Appl. Logic, 31, № 2-3 , 145-163 ? S article Вернуться к поиску

Cenzer D., Downey R. G., Jockusch C.G. Jr., Shore R. A. [1993] Countable thin Π 1 0 classes Ann. Pure Appl. Logic, 59, № 2, 79-139 93.09.20 article Вернуться к поиску

C Calhoun W. Calude C. Calvert W. Cannonito F.B. Carnielly W.A. Carpentier A. 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 ...