Reverse Mathematics and Hindman Theorem
数学专题报告
报告题目(Title)：Reverse Mathematics and Hindman Theorem
报告人(Speaker)：杨跃 教授（National University of Singapore）
地点(Place)：后主楼1225
时间(Time)：2024年12月11日上午10:00-11:00
邀请人(Inviter)：施翔晖
报告摘要
This talk consists of two parts. In part one, I will briefly introduce Reverse Mathematics, which is a branch of mathematical logic. I will focus on the analysis of Ramsey theory in reverse mathematics. The second part is on Hindman’s Theorem and discuss a recent result by Yuke Liao, which says that there is a recursive coloring with no Pi_3 solution of Hindman Theorem.
