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

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