递归可枚举度结构的代数性质和模型论性质的研究

基本信息
批准号:10871091
项目类别:面上项目
资助金额:23.00
负责人:丁德成
学科分类:
依托单位:南京大学
批准年份:2008
结题年份:2011
起止时间:2009-01-01 - 2011-12-31
项目状态: 已结题
项目参与者:陆宏,徐亚涛
关键词:
代数性质递归可枚举度模型论性质
结项摘要

本项目拟将代数和模型论的方法引入到对递归可枚举度的研究中,研究递归可枚举度结构的代数性质和模型论性质,比如:递归可枚举度自同构的存在性,自同构数目的上界,一阶理论片段的可判定性,子结构(理想、滤子)的存在性,子结构能够保持整个结构的哪些一阶性质,商结构的性质,各种可定义子集或者子结构的存在性,以及递归可枚举度结构能否保持Ershov层次其它度结构或一般图灵度结构的某些性质等。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

一种基于多层设计空间缩减策略的近似高维优化方法

一种基于多层设计空间缩减策略的近似高维优化方法

DOI:10.1051/jnwpu/20213920292
发表时间:2021
2

复杂系统科学研究进展

复杂系统科学研究进展

DOI:10.12202/j.0476-0301.2022178
发表时间:2022
3

基于MCPF算法的列车组合定位应用研究

基于MCPF算法的列车组合定位应用研究

DOI:
发表时间:2016
4

二维FM系统的同时故障检测与控制

二维FM系统的同时故障检测与控制

DOI:10.16383/j.aas.c180673
发表时间:2021
5

信息熵-保真度联合度量函数的单幅图像去雾方法

信息熵-保真度联合度量函数的单幅图像去雾方法

DOI:10.3724/SP.J.1089.2019.17435
发表时间:2019

丁德成的其他基金

批准号:10471060
批准年份:2004
资助金额:17.00
项目类别:面上项目
批准号:19771045
批准年份:1997
资助金额:6.50
项目类别:面上项目
批准号:19371042
批准年份:1993
资助金额:2.40
项目类别:面上项目
批准号:19241005
批准年份:1992
资助金额:0.70
项目类别:专项基金项目
批准号:11171148
批准年份:2011
资助金额:40.00
项目类别:面上项目

相似国自然基金

1

递归可枚举度的脱殊性、杯帽性及其构造

批准号:19241005
批准年份:1992
负责人:丁德成
学科分类:A0101
资助金额:0.70
项目类别:专项基金项目
2

可计算枚举度与d.c.e.度之间的结构性质交叉研究

批准号:11401028
批准年份:2014
负责人:王慎玲
学科分类:A0101
资助金额:22.00
项目类别:青年科学基金项目
3

非交换Iwasawa代数的环论性质

批准号:10871023
批准年份:2008
负责人:魏丰
学科分类:A0104
资助金额:20.00
项目类别:面上项目
4

非线性可积系统的某些代数和几何性质

批准号:11371214
批准年份:2013
负责人:张友金
学科分类:A0308
资助金额:55.00
项目类别:面上项目