| 项目负责人 | 姚宁远 |
| 依托单位 | 复旦大学 |
| 立项年份 | 2016 |
| 学科分类 | 数理逻辑 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥18.0万 |
| 批准号 | 11601090 |
工具
该负责人其他项目
- 逻辑不变量理论及其在数学结构中的运用研究（国社科，姚宁远，2020）
- 逻辑不变量理论及其在数学结构中的运用研究（国自然，姚宁远）
复旦大学其他项目
- 多过程行动控制视角下老年糖前人群即时自适应干预模式构建与实证（国自然，2026）
- 北极海冰气系统耦合机理及其对中纬度极端天气气候的影响（国自然，张若楠，2026）
- 男性乳腺癌特异的Y染色体-DDX3Y轴通过液—液相分离调控AHR促进肿瘤进展的临床与转化研究（国自然，吴炅，2026）
- 北半球海洋低频模态影响北极海洋热浪变化的过程与机制研究（国自然，蔡子怡，2026）
- 再分析数据中同化窗口不连续性在对流解析尺度极端降水预报中的影响机制与可预报性评估（国自然，顾俊，2026）
- 季节内振荡动力学与可预报性（国自然，魏云涛，2026）
- PIK3CA/FOXA1共突变通过脂肪酸代谢调控CD36+树突状细胞浸润介导HR-/HER2-2low乳腺癌免疫逃逸的机制研究（国自然，韩博悦，2026）
- 夏季南亚高压频繁北移对北极海冰融化减缓的影响研究（国自然，武炳义，2026）
数理逻辑学科其他项目
- 一些伪代数闭赋值域上的立即膨胀问题（国自然，洪继展，2019）
- 反推数学与可计算分析（国自然，王玮，2019）
- 使用相对化随机的方法探讨随机性的可定义性（国自然，彭宁宁，2017）
- 某些伪代数闭赋值域上的量词消去（国自然，洪继展，2016）
- Universal Algebra and Constraint Satisfaction（国自然，Wires Alexander Duane，2016）
- 随机变量结构的模型论（国自然，宋诗畅，2014）
- 基于Ershov分层的图灵度结构研究（国自然，方成玲，2014）
- 正交完备效应代数上的元素分解与结构分解理论（国自然，戢伟，2014）