《遞歸可枚舉度結構的代數性質和模型論性質的研究》是依託南京大學，由丁德成擔任項目負責人的面上項目。
基本介紹
- 中文名：遞歸可枚舉度結構的代數性質和模型論性質的研究
- 項目類別：面上項目
- 項目負責人：丁德成
- 依託單位：南京大學
- 批准號：10871091
- 申請代碼：A0410
- 負責人職稱：教授
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：23（萬元）
項目摘要
本項目擬將代數和模型論的方法引入到對遞歸可枚舉度的研究中，研究遞歸可枚舉度結構的代數性質和模型論性質，比如：遞歸可枚舉度自同構的存在性，自同構數目的上界，一階理論片段的可判定性，子結構（理想、濾子）的存在性，子結構能夠保持整個結構的哪些一階性質，商結構的性質，各種可定義子集或者子結構的存在性，以及遞歸可枚舉度結構能否保持Ershov層次其它度結構或一般圖靈度結構的某些性質等。
