Computability Theory and Foundations of Mathematics (CTFM)

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

During February 18-20, 2013 I participated in the CTFM workshop at the Tokyo Institute of Technology.

As part of the workshop, I gave an invited plenary talk entitled A survey of basis theorems.

My abstract is available in several formats: PDF, PS, DVI.

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 / 25 February 2013