基于Ershov分层的图灵度结构研究

工具

查询更多基金项目 | 智能选刊推荐

重庆交通大学其他项目

• 货运平台算法规制失控风险识别与协同治理研究（国社科，魏庆琦，2025）
• 低龄老人家庭资产向下代际转移制约银发消费的机制与对策研究（国社科，何维，2025）
• 全球供应链重构背景下我国国际物流通道的治理机制研究（国社科，李豪，2025）
• 延安红色交通线文化遗产数智化保护利用研究（国社科，苗国厚，2025）
• 中国现代作家的美术活动文献整理与研究（国社科，蒋霞，2025）
• 油纸绝缘水分平衡机理及界面功能层介入调控方法研究（国自然，但林阳，2025）
• 动态引力背景中黑洞阴影随时间的演化特征（国自然，何柯腱，2025）
• 复杂空间环境中的空间碎片大气再入预报方法研究（国自然，刘劲宏，2025）

数理逻辑学科其他项目

• 一些伪代数闭赋值域上的立即膨胀问题（国自然，洪继展，2019）
• 反推数学与可计算分析（国自然，王玮，2019）
• 使用相对化随机的方法探讨随机性的可定义性（国自然，彭宁宁，2017）
• NIP理论中可定义顺从群的可定义拓扑动力性质的研究（国自然，姚宁远，2016）
• 某些伪代数闭赋值域上的量词消去（国自然，洪继展，2016）
• Universal Algebra and Constraint Satisfaction（国自然，Wires Alexander Duane，2016）
• 随机变量结构的模型论（国自然，宋诗畅，2014）
• 正交完备效应代数上的元素分解与结构分解理论（国自然，戢伟，2014）