本项目拟将代数和模型论的方法引入到对递归可枚举度的研究中,研究递归可枚举度结构的代数性质和模型论性质,比如:递归可枚举度自同构的存在性,自同构数目的上界,一阶理论片段的可判定性,子结构(理想、滤子)的存在性,子结构能够保持整个结构的哪些一阶性质,商结构的性质,各种可定义子集或者子结构的存在性,以及递归可枚举度结构能否保持Ershov层次其它度结构或一般图灵度结构的某些性质等。
{{i.achievement_title}}
数据更新时间:2023-05-31
一种基于多层设计空间缩减策略的近似高维优化方法
复杂系统科学研究进展
基于MCPF算法的列车组合定位应用研究
二维FM系统的同时故障检测与控制
信息熵-保真度联合度量函数的单幅图像去雾方法
递归可枚举度的脱殊性、杯帽性及其构造
可计算枚举度与d.c.e.度之间的结构性质交叉研究
非交换Iwasawa代数的环论性质
非线性可积系统的某些代数和几何性质