Research Articles

• Empty Intervals in the Enumeration Degrees pdf
  with Andrew E. M. Lewis and Andrea Sorbi
  to appear in a special issue of the Annals of Pure and Applied Logic
  


• Interpreting True Arithmetic in the Δ⁰₂-Enumeration Degrees pdf
  published in the Journal of Symbolic Logic, 2010
  


• On the Degree Spectrum of a Π⁰₁-class pdf
  with Andrew E. M. Lewis
  published in the Transactions of the AMS, 2010
  


• Image Analysis and Fractal Geometry to Characterize Soil Desiccation Cracks Additional Materials
  with Jonathan Baer and Stephen Anderson
  published in Geoderma, 2009
  


• The structure of the s-degrees contained within a single e-degree pdf
  published in the Annals of Pure and Applied Logic, 2009
  


• Branching in the Σ⁰₂-enumeration degrees: A new perspective pdf
  with Maria Affatato and Andrea Sorbi
  published in the Archive for Mathematical Logic, 2008
  


• Undecidability of Local Structures of s-Degrees and Q-Degrees pdf
  with Maria Affatato and Andrea Sorbi
  published in the Tbilisi Mathematical Journal, 2008
  


• s-degrees within e-degrees pdf
  published in "Theory and Applications of Models of Computation, TAMC08, Proceedings", LNCS, Vol. 4978, 2008
  


• Bounding Nonsplitting Enumeration Degrees pdf
  with Andrea Sorbi
  published in the Journal of Symbolic Logic, December 2007
  


• The Π₃-Theory of the Σ⁰₂ -Enumeration Degrees is Undecidable pdf
  published in the Journal of Symbolic Logic, December 2006
  


• Decidability and Definability in the Σ⁰₂-Enumeration Degrees pdf
  Ph.D. Thesis, August 2005
  

Editorial Work

• Computation and Logic in the Real World - CiE 2007 Local Proceedings. 406 pages.
  Editor with S. Cooper, B. Löwe, and A. Sorbi.