Birs- 08w5019: Computability, Reverse Mathematics and Combinatorics

  1. Title:
    Two variants of Ramsey's theorem
    Speaker:
    Jeffry Hirst

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

  2. 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