On February 21, 2014 I gave a 1-hour tutorial at the
Sendai Logic
School at the Tokyo Institute of Technology. The tutorial was
entitled ** Reverse mathematics and Hilbert's program**.

My abstract is available.

My slides are available in several formats: PDF, PS, DVI.

A list of my recent and upcoming talks is available.

My publication list is available.

t20@psu.edu / 27 February 2014