报告人：张航
报告摘要：将简要介绍数理逻辑学(mathematical logic)的若干分支，尤其是在1966年Paul Cohen发明力迫法(forcing)之后，集合论(set theory)和模型论(model theory)的迅速发展带来的一些观念及其在一般拓扑、无穷组合、测度、代数等方面的应用。特别地，我们将介绍近几年我们在D-空间问题的研究中得到的一些结果。希望能为大家带来感兴趣的信息，并为合作创造契机。
报告人简介：
2001-2005，河北工业大学，数学与应用数学；
2005-2008，中山大学，研究方向：分形几何与动力系统；
2008-2011，南京大学，研究方向：一般拓扑学；
2011-2013，四川大学，研究方向：集合论。
报告时间：2014年12月16日下午2:00-4:00
报告地点：威廉希尔亚洲公司会议室X2511
