Talk page

Title:
The Gödel Hierarchy and Reverse Mathematics

Speaker:
Stephen G. Simpson

Link:
http://www.birs.ca/events/2008/5-day-workshops/08w5019/videos/watch/200812081030-Simpson.html

Workshop:
Birs- 08w5019: Computability, Reverse Mathematics and Combinatorics