Video From 19w5111: Reverse Mathematics of Combinatorial Principles

Tuesday, September 17, 2019 15:00 - 15:59
SRT22 does not imply COH in omega models

Download this video (318M)

Other videos from this workshop