Follow
Douglas Cenzer
Douglas Cenzer
Professor of Mathematics, University of Florida
No verified email
Title
Cited by
Cited by
Year
Π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
1041991
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
942006
∏ 10 Classes in Computability Theory
D Cenzer
Studies in Logic and the Foundations of Mathematics 140, 37-85, 1999
731999
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
621986
Complexity theoretic model theory and algebra
D Cenzer, JB Remmel
Studies in Logic and the Foundations of Mathematics 138, 381-513, 1998
591998
Polynomial-time abelian groups
D Cenzer, J Remmel
Annals of Pure and Applied Logic 56 (1-3), 313-363, 1992
551992
Countable thin Π01 classes
D Cenzer, R Downey, C Jockusch, RA Shore
Annals of Pure and Applied Logic 59 (2), 79-139, 1993
481993
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
452007
Density of the Medvedev lattice of Π0 1 classes
D Cenzer, PG Hinman
Archive for Mathematical Logic 42, 583-600, 2003
452003
Index sets for Π01 classes
D Cenzer, J Remmel
Annals of Pure and Applied Logic 93 (1-3), 3-61, 1998
421998
Effectively closed sets
D Cenzer, JB Remmel
ASL Lecture Notes in Logic, 2011
392011
II, Classes–Structure and Applications
D Cenzer, CG Jockusch Jr
Computability Theory and Its Applications: Current Trends and Open Problems …, 2000
352000
Recursively presented games and strategies
D Cenzer, J Remmel
Mathematical Social Sciences 24 (2-3), 117-139, 1992
341992
Σ10 and Π10 equivalence structures
D Cenzer, V Harizanov, JB Remmel
Annals of Pure and Applied Logic 162 (7), 490-503, 2011
32*2011
Inductive definability: measure and category
D Cenzer, RD Mauldin
Advances in Mathematics 38 (1), 55-90, 1980
321980
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
312009
Index sets in computable analysis
D Cenzer, JB Remmel
Theoretical Computer Science 219 (1-2), 111-150, 1999
301999
Computable symbolic dynamics
D Cenzer, SA Dashti, JLF King
Mathematical Logic Quarterly 54 (5), 460-469, 2008
262008
The stability problem for transformations of the circle
D Cenzer
Proceedings of the Royal Society of Edinburgh Section A: Mathematics 84 (3-4 …, 1979
261979
The system can't perform the operation now. Try again later.
Articles 1–20