Video From 19w5111: Reverse Mathematics of Combinatorial Principles
Tuesday, September 17, 2019 15:00 - 15:59
SRT22 does not imply COH in omega models
![](http://www.birs.ca/files/images/poster.png)
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.