Π10 classes in mathematics D Cenzer, JB Remmel Studies in Logic and the Foundations of Mathematics 139, 623-821, 1998 | 145* | 1998 |
Polynomial-time versus recursive models D Cenzer, J Remmel Annals of Pure and Applied Logic 54 (1), 17-58, 1991 | 107 | 1991 |
Effective categoricity of equivalence structures W Calvert, D Cenzer, V Harizanov, A Morozov Annals of Pure and Applied Logic 141 (1-2), 61-78, 2006 | 94 | 2006 |
∏ 10 Classes in Computability Theory D Cenzer Studies in Logic and the Foundations of Mathematics 140, 37-85, 1999 | 75 | 1999 |
Members of countable Π10 classes D Cenzer, P Clote, RL Smith, RI Soare, SS Wainer Annals of Pure and Applied Logic 31, 145-163, 1986 | 62 | 1986 |
Complexity theoretic model theory and algebra D Cenzer, JB Remmel Studies in Logic and the Foundations of Mathematics 138, 381-513, 1998 | 60 | 1998 |
Polynomial-time abelian groups D Cenzer, J Remmel Annals of Pure and Applied Logic 56 (1-3), 313-363, 1992 | 57 | 1992 |
Countable thin Π01 classes D Cenzer, R Downey, C Jockusch, RA Shore Annals of Pure and Applied Logic 59 (2), 79-139, 1993 | 51 | 1993 |
Algorithmic randomness of closed sets G Barmpalias, P Brodhead, D Cenzer, S Dashti, R Weber Journal of Logic and Computation 17 (6), 1041-1062, 2007 | 46 | 2007 |
Density of the Medvedev lattice of Π0 1 classes D Cenzer, PG Hinman Archive for Mathematical Logic 42, 583-600, 2003 | 45 | 2003 |
Index sets for Π01 classes D Cenzer, J Remmel Annals of Pure and Applied Logic 93 (1-3), 3-61, 1998 | 42 | 1998 |
Effectively closed sets D Cenzer, JB Remmel ASL Lecture Notes in Logic, 2011 | 40 | 2011 |
II, Classes–Structure and Applications D Cenzer, CG Jockusch Jr Computability Theory and Its Applications: Current Trends and Open Problems …, 2000 | 35 | 2000 |
Recursively presented games and strategies D Cenzer, J Remmel Mathematical Social Sciences 24 (2-3), 117-139, 1992 | 35 | 1992 |
Inductive definability: measure and category D Cenzer, RD Mauldin Advances in Mathematics 38 (1), 55-90, 1980 | 34 | 1980 |
Σ10 and Π10 equivalence structures D Cenzer, V Harizanov, JB Remmel Annals of Pure and Applied Logic 162 (7), 490-503, 2011 | 32* | 2011 |
Effective categoricity of abelian p-groups W Calvert, D Cenzer, VS Harizanov, A Morozov Annals of Pure and Applied Logic 159 (1-2), 187-197, 2009 | 31 | 2009 |
Index sets in computable analysis D Cenzer, JB Remmel Theoretical Computer Science 219 (1-2), 111-150, 1999 | 31 | 1999 |
Computable symbolic dynamics D Cenzer, SA Dashti, JLF King Mathematical Logic Quarterly 54 (5), 460-469, 2008 | 26 | 2008 |
On the ranked points of a Π10 set D Cenzer, RL Smith The Journal of symbolic logic 54 (3), 975-991, 1989 | 24 | 1989 |