Video From 19w5111: Reverse Mathematics of Combinatorial Principles
Tuesday, September 17, 2019 15:00 - 15:59
SRT22 does not imply COH in omega models

©2023 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.