The reverse mathematics of Büchi’s decidability theorem
Leszek Kolodziejczyk speaking at the BIRS workshop 19w5111: Reverse Mathematics of Combinatorial Principles (Sep 15 - Sep 20). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.