Ludovic Levy Patey, Video: SRT22 does not imply COH in omega models

Ludovic Levy Patey, Video: SRT22 does not imply COH in omega models

Ludovic Levy Patey, SRT22 does not imply COH in omega models, Reverse Mathematics of Combinatorial Principles, BIRS, BIRS talk, 19w5111, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

318M

http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos

http://www.birs.ca/events/2019/5-day-workshops/19w5111/videos/watch/201909171500-Patey.html