In March 2001 I attended the 2001 Annual Meeting of the Association for Symbolic Logic in Philadelphia. At the meeting I organized a Special Session on Reverse Mathematics.
The subject of the session was recent developments arising from my book Subsystems of Second Order Arithmetic.
Invited participants in the session were Harvey Friedman, Steffen Lempp, Jeremy Avigad, Douglas Cenzer, Richard Shore, and myself. In addition, Jeffry Hirst and Reed Solomon gave relevant contributed talks.
My presentation in the session was entitled An Overview of Reverse Mathematics. My abstract is available in several formats: PDF, PS, DVI, HTML. My transparencies are also available in several formats: PDF, PS, DVI.
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 / 28 April 2001