應yl7703永利官網(wǎng)張和平教授和徐守軍教授邀請，復旦大學哲學學院姚寧遠副教授將于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

摘要：模型論是數(shù)理邏輯的一個分支，其研究內(nèi)容大體分為兩部分，即純粹模型論和應用模型論，其中純粹模型論研究一階理論和一階結(jié)構(gòu)的分類問題；而應用模型論則利用模型論中的技術解決具體的數(shù)學問題，其中的Ax-Kochen定理就是一個典型代表。在本次報告中，我將簡要介紹模型論中的一些基本定義和術語，并在此基礎上進一步介紹一階邏輯的完全性定理和緊致性定理。最后，我將利用緊致性定理給出Ax-Kochen定理的一系列簡化版本的證明。

歡迎廣大師生參加！

報告人簡介：姚寧遠，復旦大學哲學學院副教授，中國數(shù)理邏輯專業(yè)委員會理事。主持國家自然科學青年基金、國家社會科學青年基金、入選上海市浦江學者計劃、上海市晨光計劃、復旦大學卓越2025“卓學計劃”。主要從事數(shù)理邏輯、模型論NIP(非獨立性質(zhì))理論、Presburger 算術理論，O-minimal理論、p-adic群等理論的研究。

甘肅應用數(shù)學中心

甘肅省高校應用數(shù)學與復雜系統(tǒng)省級重點實驗室

yl7703永利官網(wǎng)

萃英學院

2021年7月13日