个人简介

姚宁远，1988年2月生，2015年毕业于中山大学，获工学博士学位。现任职于复旦大学哲学学院，副教授、博士生导师。

邮箱：yaony@fudan.edu.cn

教育和工作经历

教育经历

2011年09月—2015年06月    中山大学，模型论专业，博士学位。

2012年10月—2014年10月    利兹大学，模型论稳定性理论，联合培养。

2009年09月—2011年06月    中山大学 ，Hopf代数专业，硕士学位。

2005年09月—2009年06月    兰州大学，计算机专业，学士学位。

工作经历

2015年08月—2019年12月    复旦大学哲学学院，讲师

2017年10月—2018年10月    法国高等科学研究院，博士后

2019年12月至今                    复旦大学哲学学院，副教授

学术兼职

中国数理逻辑专业委员会理事

上海逻辑学会会员

研究和项目

研究方向/主要研究内容

模型论NIP（非独立性质）理论，O-minimal理论，p-adic群，可定义顺从群。

科研项目

上海市浦江学者项目：非独立理论中可定义拓扑动力性质的研究（在研）

晨光计划项目：非独立理论中的逻辑不变量在数学逻辑化中的应用（结项）

国家社会科学基金青年项目：逻辑不变量理论及其在数学结构中的运用研究（在研）

国家自然科学基金青年项目：NIP理论中可定义顺从群的可定义拓扑动力性质的研究（结项）

主要学术成果

代表性著作

《初等模型论》，复旦大学出版社， 2018，215千字。

代表性论文

[1] Definable topological dynamics for trigonalizable algebraic groups over Qp, Mathematical Logic Quarterly, 65, No. 3 (2019), 376–386.

[2] Some model theory and topological dynamics of p-adic algebraic groups, Fundamenta Mathematicae, 247 (2019), 191-216.

[3] A note on groups definable in the p-adic field, Archive for Mathematical Logic, 58 (2019), 1029–1034.

[4] On f-generic types in Presburger arithmetic, 逻辑学研究, 12(3) (2019), 57–78.

[5] On minimal flows, definably amenable groups, and o-minimality, Advances in Mathematics, 290 (2016), 483–502.

荣誉及获奖

入选复旦大学卓越2025“卓学计划 ”。

开设课程

数理逻辑（I-II）、集合论、力迫法、模型论导论、高等逻辑、模型论进阶、一阶逻辑（I-II）、现代逻辑专题、模型论选讲