VideoArxiv
Home
Workshops
Speakers
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