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)
, Vanderbilt University
- 11:25
The Gödel Hierarchy and Reverse Mathematics
Watch video | Download video: 200812081030-Simpson.mp4 (224M)