本项目对R/M 的代数结构进行了基本的研究,给出了R/M 与R 在结构上的差别,定理证明中使用了我们自己的方法;共发表论文6 篇,SCI 收录2 篇,EI 收录6 篇;完成的论文4 篇。
Computable enumerability ,Cappability ,Local cuppability
本项目将利用非可盖度的及时单纯性,结合树构造方法研究可计算枚举度集R关于可盖的可扑忝毒俣燃疢的商结构R/M的代数性质,如枝点的存在性,局部可杯性等。同时研究在弱真当砉樵枷孪嘤Φ纳探峁沟拇灾剩鏡/M 的稠密性等有关问题。这研究对于R的代灾恃芯刻峁┝艘桓鲂碌耐黄频恪