Confirmed Participants Schedule and Abstracts (PDF) Workshop Videos
Workshop Files
Final Report (PDF)

List of Problems

Computability, Reverse Mathematics and Combinatorics

Videos from BIRS Workshop

, Appalachian State University
- 09:50
Two variants of Ramsey's theorem
Watch video | Download video: 200812080900-Hirst.mp4 (173M)
Video: Jeffry Hirst, "Two variants of Ramsey's theorem" http://www.birs.ca/events/2008/5-day-workshops/08w5019/videos/watch/200812080900-Hirst.html
, Vanderbilt University
- 11:25
The Gödel Hierarchy and Reverse Mathematics
Watch video | Download video: 200812081030-Simpson.mp4 (224M)
Video: Stephen G. Simpson, "The Gödel Hierarchy and Reverse Mathematics" http://www.birs.ca/events/2008/5-day-workshops/08w5019/videos/watch/200812081030-Simpson.html