Video From 19w5111: Reverse Mathematics of Combinatorial Principles
Wei Wang, Sun Yat-sen University
Thursday, September 19, 2019 11:00 - 11:50
Some propositions between WWKL0 and WKL0

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