中文
在职教师首页  教职员工  在职教师
姚宁远


个人简介

姚宁远,19882月生,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)、现代逻辑专题、模型论选讲