Wei Wang, Video: Some propositions between WWKL0 and WKL0

Wei Wang, Video: Some propositions between WWKL0 and WKL0

Wei Wang, Some propositions between WWKL0 and WKL0, Reverse Mathematics of Combinatorial Principles, BIRS, BIRS talk, 19w5111, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

169M

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

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