Stephen G. Simpson, Video: The Gödel Hierarchy and Reverse Mathematics

Stephen G. Simpson, Video: The Gödel Hierarchy and Reverse Mathematics

Stephen G. Simpson, The Gödel Hierarchy and Reverse Mathematics, Computability, Reverse Mathematics and Combinatorics, BIRS, BIRS talk, 08w5019, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

224M

http://www.birs.ca/events/2008/5-day-workshops/08w5019/videos

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