兰州大学“聚英萃华”萃英学院学术讲座（第一百三十五场）——姚宁远副教授

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

报告题目：OnAx-KochenPrinciple—AnintroductiontoModelTheoryanditsapplicationtoMathematics

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

报告地点：腾讯会议ID:350 8723 7585 天山堂A106

报告人简介

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

报告摘要

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

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

数学与统计学院

萃英学院

2021年7月14日