V
主页
01月03日.ROOM-A.13.30.Chi Tat Chong
发布人
Ramsey theory in reverse mathematics, 庄志达 (Chi Tat Chong) This talk concerns the use of methods in reverse mathematics to investigate the complexity and proof-theoretic strengths of Ramsey type theorems in combinatorics. The analysis provides an overview progress made over the past 30 years.
打开封面
下载高清视频
观看高清视频
视频下载器
1月2日.ROOM-C.16.00.Fusheng Deng
01月03日.ROOM-H.16.0.Ruobing Zhang
01月04日.ROOM-Ⅱ.11.00.Rongling Wu
01月04日.ROOM-G.16.45.Tiexiang Li
01月03日.ROOM-B.16:45.Miaofen CHEN
01月04日.ROOM-I.13.30.Jiaming Xia
01月03日.ROOM-Ⅰ.11.00.Yichao Tian
01月04日.ROOM-Ⅲ.11.00.Kang Zuo
01月04日.ROOM-H.13.30.Lynn Heller
01月03日.ROOM-Ⅵ.11.00.Guozhen Wang
01月03日.ROOM-B.16:00.Shanwen WANG
01月05日.ROOM-X.8.30.Sergiu Klainerman
01月05日.ROOM-B.14.15.Hongjie Yu
01月03日.ROOM-H.16.45.XiaoLin (Danny) Shi
01月04日.ROOM-C.14.15.Yunhui Wu
01月05日.ROOM-J.15.0.Penghui Li
01月05日.ROOM-J.13.30.Ziming Nikolas Ma
01月04日.ROOM-I.16.00.HuiCheng Yin
01月04日.ROOM-J.15.0.Fei Han
01月05日.ROOM-Ⅱ.11.00.Wei Song
01月03日.ROOM-C.16:45.Yu-Wei Fan
01月05日.ROOM-B.13.30.Kai Xu
01月04日.ROOM-J.16.45.Jie Zhou
01月03日.ROOM-A.14.15.Beifang Chen
1月2日.ROOM-F.15:15.Xinliang An
1月2日.ROOM-D.16:45.Haoran Wang
1月2日.ROOM-J.16.45.LING YAN HUNG
1月2日.ROOM-F.16:45.Yi Li
01月05日.ROOM-Ⅴ.11.00.Xiaoping Wang
01月03日.ROOM-H.14.15.Kwokwai Chan
01月04日.ROOM-A.16.45.Yifan Jing
01月03日.ROOM-A.16:45.Jiu-Kang Yu
1月2日.ROOM-Ⅴ.08.30.Hao Wu
01月03日.ROOM-J.13.30.Song He
1月3日.ROOM-Ⅹ.09.45.Sijue Wu
01月04日.ROOM-G.16.00.Jing Li
01月03日.ROOM-D.15:00.Quan Situ
01月03日.ROOM-D.13:30.Yongchang ZHU
1月2日.ROOM-I.16.45.Renjun Duan
1月3日.ROOM-I.13.30.Tao LUO