Подписаться
S Barry Cooper
S Barry Cooper
Professor of Mathematics, Leeds University
Подтвержден адрес электронной почты в домене leeds.ac.uk - Главная страница
Название
Процитировано
Процитировано
Год
Computability theory
SB Cooper
Chapman and Hall/CRC, 2017
5322017
Alan Turing: His work and impact
SB Cooper, J Van Leeuwen
Elsevier, 2013
1622013
Enumeration reducibility, nondeterministic computations and relative computability of partial functions
SB Cooper
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG …, 2006
1312006
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
1241984
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
1121991
Degrees of unsolvability
SB Cooper
University of Leicester, 1971
871971
On minimal pairs of enumeration degrees
K McEvoy, SB Cooper
The Journal of symbolic logic 50 (4), 983-1001, 1985
821985
Minimal degrees and the jump operator1
SB Cooper
The Journal of Symbolic Logic 38 (2), 249-271, 1973
811973
Minimal pairs and high recursively enumerable degrees
SB Cooper
The Journal of Symbolic Logic 39 (4), 655-660, 1974
781974
Weak density and cupping in the dr. e. degrees
SB Cooper, S Lempp, P Watson
Israel Journal of Mathematics 67, 137-152, 1989
731989
Incomputability in nature
SB Cooper, SS Goncharov, SB Cooper, P Odifreddi
Computability and Models: Perspectives East and West, 137-160, 2003
692003
Computability over topological structures
SB Cooper, SS Goncharov, V Brattka
Computability and Models: Perspectives East and West, 93-136, 2003
642003
Partial degrees and the density problem
SB Cooper
The Journal of Symbolic Logic 47 (4), 854-859, 1982
641982
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
592003
New computational paradigms: Changing conceptions of what is computable
SB Cooper, B Löwe, A Sorbi
Springer Science & Business Media, 2007
522007
Isolated dre degrees
SB Cooper, X Yi
Preprint (http://www. amsta. leeds. ac. uk/pure/staff/cooper/preprints. html), 1995
481995
Algebraic properties of Rogers semilattices of arithmetical numberings
SB Cooper, SS Goncharov, S Badaev, S Goncharov, S Podzorov, A Sorbi
Computability and Models: Perspectives East and West, 45-77, 2003
432003
Properly Σ2 Enumeration Degrees.
SB Cooper, CS Copestake
Mathematical Logic Quarterly 34 (6), 1988
431988
Turing's Titanic machine?
SB Cooper
Communications of the ACM 55 (3), 74-83, 2012
392012
A splitting theorem for the 𝑛-re degrees
SB Cooper
Proceedings of the American Mathematical Society 115 (2), 461-471, 1992
381992
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20