应数学与统计学院张和平教授和徐守军教授邀请，复旦大学哲学学院姚宁远副教授将于2021年7月15日进行线上学术报告。

报 告：On Ax-Kochen Principle—An introduction to Model Theory and its application to Mathematics

时 间：7月15日下午17:00

地 点：腾讯会议ID:350 8723 7568 密码：142857

天山堂A106

摘要：模型论是数理逻辑的一个分支，其研究内容大体分为两部分，即纯粹模型论和应用模型论，其中纯粹模型论研究一阶理论和一阶结构的分类问题；而应用模型论则利用模型论中的技术解决具体的数学问题，其中的Ax-Kochen定理就是一个典型代表。在本次报告中，我将简要介绍模型论中的一些基本定义和术语，并在此基础上进一步介绍一阶逻辑的完全性定理和紧致性定理。最后，我将利用紧致性定理给出Ax-Kochen定理的一系列简化版本的证明。

欢迎广大师生参加！

报告人简介：姚宁远，复旦大学哲学学院副教授，中国数理逻辑专业委员会理事。主持国家自然科学青年基金、国家社会科学青年基金、入选上海市浦江学者计划、上海市晨光计划、复旦大学卓越2025“卓学计划”。主要从事数理逻辑、模型论NIP(非独立性质)理论、Presburger 算术理论，O-minimal理论、p-adic群等理论的研究。

甘肃应用数学中心

甘肃省高校应用数学与复杂系统省级重点实验室

数学与统计学院

萃英学院

2021年7月13日