I attended a sectional meeting of the American Mathematical Society, in Columbus, Ohio, September 21-23, 2001. I gave an invited 45-minute talk as part of a Special Session on Proof Theory and Foundations of Mathematics.
The title of my talk was Muchnik and Medvedev Degrees of Pi01 Subsets of 2^omega. My abstract is available in several formats: DVI, PDF, PS. My transparencies are available in several formats: PDF, PS.
A list of my recent and upcoming talks is available.
My publication list is available.
I run FOM, an automated e-mail list for discussing foundations of mathematics.
t20@psu.edu / 21 September 2001