On October 6, 2005, I was at
the Department of Mathematical
Sciences of Carnegie Mellon
University. I gave a
one-hour
invited talk in
the Mathematical
Logic Seminar. The title of my talk was

Note: This talk was originally scheduled for September 1, 2005, but the date was changed to October 6, 2005.

A list of my recent and upcoming talks is available.

My publication list is available.

t20@psu.edu / 6 December 2005