| 项目负责人 | 洪继展 |
| 依托单位 | 华侨大学 |
| 立项年份 | 2019 |
| 学科分类 | 数理逻辑 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥23.0万 |
| 批准号 | 11901216 |
工具
该负责人其他项目
- 某些伪代数闭赋值域上的量词消去（国自然，洪继展，2016）
华侨大学其他项目
- 数字经济破解旅游业碳排放跨界治理困境的机制、路径及对策研究（国社科，张慧，2025）
- 文体分类实践视野下的中国古代“杂文”观念研究（国社科，苗民，2025）
- 数字平权目标下数据治理的合作博弈研究（国社科，胡石清，2025）
- 21世纪以来世界共产党新型国际联合研究（国社科，刘卫卫，2025）
- 华裔新生代寻根之旅品牌建设促进中华民族认同的机制与路径研究（国社科，汪京强，2025）
- 数字员工参与企业价值共创的机制与策略研究（国社科，郑文智，2025）
- 耐心资本提升劳动收入份额的机制与政策研究（国社科，蓝嘉俊，2025）
- 类型化视角下人工智能使用版权作品的法律规制研究（国社科，游凯杰，2025）
数理逻辑学科其他项目
- 反推数学与可计算分析（国自然，王玮，2019）
- 使用相对化随机的方法探讨随机性的可定义性（国自然，彭宁宁，2017）
- NIP理论中可定义顺从群的可定义拓扑动力性质的研究（国自然，姚宁远，2016）
- 某些伪代数闭赋值域上的量词消去（国自然，洪继展，2016）
- Universal Algebra and Constraint Satisfaction（国自然，Wires Alexander Duane，2016）
- 随机变量结构的模型论（国自然，宋诗畅，2014）
- 基于Ershov分层的图灵度结构研究（国自然，方成玲，2014）
- 正交完备效应代数上的元素分解与结构分解理论（国自然，戢伟，2014）