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
The reverse mathematics of Büchi’s decidability theorem
Leszek Kolodziejczyk at 19w5111: Reverse Mathematics of Combinatorial Principles on Monday, September 16, 2019
0 seconds of 0 secondsVolume 0%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 

Download this video (309M)

Other videos from this workshop