Computability theory SB Cooper CRC Press, 2003 | 512 | 2003 |
Alan Turing: His work and impact SB Cooper, J Van Leeuwen Elsevier, 2013 | 135 | 2013 |
Enumeration reducibility, nondeterministic computations and relative computability of partial functions SB Cooper Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG …, 2006 | 131 | 2006 |
Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ2 sets are dense SB Cooper The Journal of symbolic logic 49 (2), 503-513, 1984 | 120 | 1984 |
The dre degrees are not dense SB Cooper, L Harrington, AH Lachlan, S Lempp, RI Soare Annals of Pure and Applied Logic 55 (2), 125-151, 1991 | 105 | 1991 |
On minimal pairs of enumeration degrees K McEvoy, SB Cooper The Journal of symbolic logic 50 (4), 983-1001, 1985 | 83 | 1985 |
Minimal degrees and the jump operator1 SB Cooper The Journal of Symbolic Logic 38 (2), 249-271, 1973 | 82 | 1973 |
Degrees of unsolvability SB Cooper University of Leicester, 1971 | 81 | 1971 |
Minimal pairs and high recursively enumerable degrees SB Cooper The Journal of Symbolic Logic 39 (4), 655-660, 1974 | 72 | 1974 |
Weak density and cupping in the dr. e. degrees SB Cooper, S Lempp, P Watson Israel J. math 67 (2), 137-152, 1989 | 68 | 1989 |
Partial degrees and the density problem SB Cooper The Journal of Symbolic Logic 47 (4), 854-859, 1982 | 66 | 1982 |
Incomputability in nature SB Cooper, P Odifreddi Computability and Models: Perspectives East and West, 137-160, 2003 | 65 | 2003 |
Computability over topological structures SB Cooper, SS Goncharov, V Brattka Computability and Models: Perspectives East and West, 93-136, 2003 | 64 | 2003 |
New computational paradigms: Changing conceptions of what is computable SB Cooper, B Löwe, A Sorbi Springer Science & Business Media, 2007 | 48 | 2007 |
Completeness and universality of arithmetical numberings SB Cooper, SS Goncharov, S Badaev, S Goncharov, A Sorbi Computability and Models: Perspectives East and West, 11-44, 2003 | 47 | 2003 |
Isolated dre degrees SB Cooper, X Yi preprint series 17, 1995 | 47 | 1995 |
Properly Σ2 Enumeration Degrees SB Cooper, CS Copestake Mathematical Logic Quarterly 34 (6), 491-522, 1988 | 44 | 1988 |
Algebraic properties of Rogers semilattices of arithmetical numberings SA Badaev, SS Goncharov, SY Podzorov, A Sorbi Computability and Models, 45-77, 2003 | 43 | 2003 |
Turing's Titanic machine? SB Cooper Communications of the ACM 55 (3), 74-83, 2012 | 40 | 2012 |
A splitting theorem for the 𝑛-re degrees SB Cooper Proceedings of the American Mathematical Society 115 (2), 461-471, 1992 | 37 | 1992 |