Ulrich Kohlenbach, Video: Proof Theory of Cat(kappa) spaces

Ulrich Kohlenbach, Video: Proof Theory of Cat(kappa) spaces

Ulrich Kohlenbach, Proof Theory of Cat(kappa) spaces, Algorithmic Randomness Interacts with Analysis and Ergodic Theory , BIRS, BIRS talk, 16w5072, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

188M

http://www.birs.ca/events/2016/5-day-workshops/16w5072/videos

http://www.birs.ca/events/2016/5-day-workshops/16w5072/videos/watch/201612051139-Kohlenbach.html