Video From 19w5111: Reverse Mathematics of Combinatorial Principles

Monday, September 16, 2019 16:30 - 17:21
The reverse mathematics of Büchi’s decidability theorem

Download this video (309M)

Other videos from this workshop