Three Theorems Between Computability and Diophantine
Approximation, presented during Dagstuhl Workshop,
February, 2017.
[ pdf ]
The Mathematics of Relative Definablity, presented during the
Joint Annual Meetings, Special AMS Session on Alan Turing, Boston,
January, 2012.
[ pdf ]
Randomness and Recursion Theory, presented during Logic Colloquium 2010, Paris, France, July, 2010.
[ 1, pdf ] [ 2, pdf ] [ 3, pdf ]
Conservation Questions over BΣ2, presented during Reverse Mathematics:
Foundations and Applications, University of Chicago, November, 2009.
[ pdf ]
Degree Invariant Functions, presented during VIG 2009, UCLA, November, 2009.
[ pdf ]
Undecidability of the α-degrees, jointly with Chong Chi Tat, presented
during the workshop Topics in Computability: A Meeting in
Honor of Richard A. Shore, MIT, January, 2007.
[ pdf ]
Moduli of Computation, jointly with Marcia
Groszek, presented during the Conference on Logic,
Computability and Randomness, Buenos Aires, Argentina,
January, 2007.
[ pdf ]
Effective Randomness for Continuous Measures, jointly
with Jan Reimann, presented
during the workshop Effective Randomness, American
Institute of Mathematics, Palo Alto, California, August,
2006.
[ pdf ]
Higher Orders of μ-Randomness, jointly with Jan
Reimann, presented during the Dagstuhl Seminar
Kolmogorov Complexity and Applications, Schloss Dagstuhl,
Germany , January, 2006.
[ pdf ]
Turing Degrees and the Definability of the Turing Jump,
presented to Computational Prospects of Infinity, Institute for
Mathematical Sciences, Singapore, June 20 to August 15,
2005.
Random Sequences and Recursive Measures, jointly with
Jan Reimann, presented to CMS
Winter Meeting, Special Session in Model Theory and Recursion
Theory, Vancouver, Canada, December 7, 2003.
[ pdf ]
``High'' is definable in the partial order of the Turing
degrees of the recursively enumerable sets, presented to
Conference in Honor of D. A. Martin's 60th Birthday,
Berkeley, CA, May, 27, 2001.
[ pdf ]
On Martin's Conjecture, presented to AMS Meeting, Special
Session in Set Theory, Las Vegas, NV, April 21, 2001.
[ pdf ]
Recursion Theory, presented as The Gödel Lecture,
Annual Meeting of the ASL, Philadelphia, PA, March 13,
2001.
[ pdf ]