Proof Theory, Modal Logic, Reflection Principles (PMR)

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

During September 29 - October 2, 2014 I participated in the Second International Wormshop at the Instituto Tecnológico Autónomo de México (ITAM), in Mexico City.

As part of the wormshop, I gave an invited talk entitled Reverse mathematics, ordinal numbers, and the ACC.

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 / 21 October 2014