反推数学及相关可计算性理论问题
11471342
2014
A0101.数学史、数理逻辑与公理集合论
王玮
面上项目
教授
中山大学
63万元
可计算性理论;非标准模型;反推数学;二阶算术
2015-01-01到2018-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES | 期刊论文 | Wang Wei |
| 2 | Some Advanced Topics of Graph Partitioning and Matching Problems | 专著 | 张晓岩;张赞波 |
| 3 | On the complexity of edge-colored subgraph partitioning problems in network optimization | 期刊论文 | Zhang Xiaoyan;Zhang Zanbo;Broersma Hajo;Wen Xuelian |
| 4 | Paths, Cycles and Related Partitioning Problems in Graphs | 专著 | Zanbo Zhang |
| 5 | Relative definability of n-generics | 期刊论文 | Wei Wang |
| 6 | On the computability of perfect subsets of sets with positive measure | 期刊论文 | Chitat Chong;Wei Li;Wei Wang;Yue Yang |
| 7 | EXTREMAL AND DEGREE CONDITIONS FOR PATH EXTENDABILITY IN DIGRAPHS | 期刊论文 | Zhang Zan-Bo;Zhang Xiaoyan;Broersma Hajo;Lou Dingjun |
查看更多信息请先登录或注册
