Carnegie Mellon University, October 6, 2005

I am Stephen G. Simpson, a mathematician at the Pennsylvania State University.

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

Mathematics and Pi^1_2 Comprehension.

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. / 6 December 2005