Video: Leszek Kolodziejczyk, "The reverse mathematics of Büchi’s decidability theorem"

Video From 19w5111: Reverse Mathematics of Combinatorial Principles

Leszek Kolodziejczyk, University of Warsaw

Monday, September 16, 2019 16:30 - 17:21

The reverse mathematics of Büchi’s decidability theorem

Leszek Kolodziejczyk, Video: The reverse mathematics of Büchi’s decidability theorem

Leszek Kolodziejczyk, The reverse mathematics of Büchi’s decidability theorem, Reverse Mathematics of Combinatorial Principles, BIRS, BIRS talk, 19w5111, math, mathematics, video

Banff International Research Station

presentation

mpeg4

309M

http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos

http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909161630-Kolodziejczyk.html

Download this video (309M)