递归可枚举度结构的代数性质和模型论性质的研究
批准号：
10871091
项目类别：
面上项目
资助金额：
23.0 万元
负责人：
丁德成
依托单位：
学科分类：
算法复杂性与近似算法
结题年份：
2011
批准年份：
2008
项目状态：
已结题
项目参与者：
陆宏、徐亚涛
项目摘要
结项摘要
项目成果
丁德成的其他基金
相似基金
相关文献
中文摘要
本项目拟将代数和模型论的方法引入到对递归可枚举度的研究中，研究递归可枚举度结构的代数性质和模型论性质，比如：递归可枚举度自同构的存在性，自同构数目的上界，一阶理论片段的可判定性，子结构（理想、滤子）的存在性，子结构能够保持整个结构的哪些一阶性质，商结构的性质，各种可定义子集或者子结构的存在性，以及递归可枚举度结构能否保持Ershov层次其它度结构或一般图灵度结构的某些性质等。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
10.1007/s11434-010-3127-2
发表时间：
2010-06
期刊：
Chinese Science Bulletin
影响因子：
--
作者：
[Zhenyu Chen;Baowen Xu;Decheng Ding]
通讯作者：
Zhenyu Chen;Baowen Xu;Decheng Ding
On computable locally compact Hausdorff spaces
可计算局部紧豪斯多夫空间
可计算局部紧豪斯多夫空间
DOI：
--
发表时间：
--
期刊：
Mathematical Structures in Computer Science
影响因子：
0.5
作者：
[徐亚涛]
通讯作者：
徐亚涛
DOI：
--
发表时间：
--
期刊：
科学通报
影响因子：
--
作者：
[徐宝文, 陈振宇, 丁德成]
通讯作者：
丁德成
BOUNDING NON-GL(2) AND REA
绑定非 GL(2) 和 REA
绑定非 GL(2) 和 REA
DOI：
--
发表时间：
--
期刊：
Journal of Symbolic Logic
影响因子：
0.6
作者：
[Ding, Decheng, Yu, Liang, Ambos-Spies, Klaus, Wang, Wei]
通讯作者：
Wang, Wei
Infimum in c.e. weak truth table degree
公元后的 Infimum
公元后的 Infimum
DOI：
--
发表时间：
--
期刊：
Studies in Logic
影响因子：
--
作者：
[陆宏]
通讯作者：
陆宏
Kolmogorov复杂性及其应用
-
批准号：10471060
-
项目类别：面上项目
-
资助金额：17.0万元
-
批准年份：2004
-
负责人：丁德成
-
依托单位：
关于d-r.e度和n-r.e度的研究
-
批准号：19771045
-
项目类别：面上项目
-
资助金额：6.5万元
-
批准年份：1997
-
负责人：丁德成
-
依托单位：
格嵌入γ.ｅ.度的研究
-
批准号：19371042
-
项目类别：面上项目
-
资助金额：2.4万元
-
批准年份：1993
-
负责人：丁德成
-
依托单位：
递归可枚举度的脱殊性、杯帽性及其构造
-
批准号：19241005
-
项目类别：专项基金项目
-
资助金额：0.7万元
-
批准年份：1992
-
负责人：丁德成
-
依托单位：
国内基金
海外基金