|
|
|
|
|
|
|
| Publications and Preprints |
 |
|
|
|
|
|
|
|
Publications |
|
|
Badness and Jump Inversion in the Enumeration Degrees,
Abstract and Introduction,
to appear in Archive For Mathematical Logic.
|
|
|
Noncuppable Enumeration Degrees via Finite Injury ,
Journal of Logic and Computation, DOI: 10.1093/logcom/exq044, 2011.
|
|
|
On the Jump Classes of Noncuppable Enumeration Degrees ,
Journal of Symbolic Logic, Volume 76 (Issue 1), pages 177-197, 2011.
|
|
|
Goodness in the Enumeration and Singleton Degrees ,
Archive For Mathematical Logic, Volume 49 (Issue 6), pages 673-691, 2010.
|
|
|
On the Symmetric Enumeration Degrees ,
Notre Dame Journal of Formal Logic, Volume 48 (Issue 2), pages 175-204, 2007.
|
|
Enumeration Reducibility with Polynomial
Time Bounds,
Proceedings of the Second Conference on Computatility in Europe, CiE 2006 Swansea,
LNCS Volume 3988, pages 209-220, 2006.
|
|
|
Symmetric Enumeration Reducibility,
Proceedings of the First Conference on Computatility in Europe, CiE 2005 Amsterdam,
LNCS Volume 3526, pages 196-208, 2005.
|
|
|
|
|
Recent Work |
|
|
Enumeration Reducibility and Polynomial Time Bounds, PhD Thesis,
Leeds University, 2006.
|
|
|
|
|
Talks |
|
|
Lambda Calculus and Enumeration Reduciblity: another
look at Scott's 1975/76 papers, Leeds Logic Seminar, 2005.
|
|
|
Introduction to Symmetric Enumeration Reducibility I, Leeds Computability
Theory Seminar, 2005.
|
|
|
Introduction to Symmetric Enumeration Reducibility II, Leeds Computability
Theory Seminar, 2005.
|
|
|
|
|
[ Back to Home Page ]
|