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
![](http://www.birs.ca/files/images/poster.png)
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.