Talk page

Title:
Computable analysis and reverse mathematics

Speaker:
Keita Yokoyama

Link:
http://www.birs.ca/events/2016/5-day-workshops/16w5072/videos/watch/201612071045-Yokoyama.html

Workshop:
Birs- 16w5072: Algorithmic Randomness Interacts with Analysis and Ergodic Theory