I attended the 2002 Annual Meeting of the Association for Symbolic Logic, in Las Vegas, Nevada, June 1-4, 2002. I gave an invited 60-minute plenary talk.
The title of my talk was Reverse Mathematics and its Significance for Mathematical Logic. 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 / 10 June 2002