0^1的一个分解定理

导出

摘要本文讨论递归可枚举度的分解与格嵌入问题,证明了存在r.e.度a,a0和a1使得a<a0,a1<01,a0∨a1=01,a0∧a1=a且a是强非可盖r.e.度,并立即推得存在非低强非可盖r.e.度,从而肯定地回答了K.Ambos-Spies的问题.

作者李昂生

机构地区云南师范大学数学系

出处《中国科学（A辑）》 CSCD 1992年第10期1009-1016,共8页 Science in China(Series A)

基金国家自然科学基金国家青年自然科学基金云南省应用基础研究基金

关键词逆归可枚举分解格嵌入

参考文献1

1钱磊,郑锡忠.准邻接度的格嵌入性质[J].科学通报,1992,37(23):2200-2202.
2Deng Ju MA,Han REN.The Nonorientable Genus of the Join of Two Cycles[J].Acta Mathematica Sinica,English Series,2013,29(12):2305-2320.
3李昂生.递归可枚举度的强分解定理[J].数学学报（中文版）,1992,35(2):251-256. 被引量：1
4张再跃.商偏序R/M非零等价类中存在不可比代表元[J].扬州师院学报（自然科学版）,1997,17(4):1-8.
5蒋志根.低R.E度上D.R.E.度的非稠密性[J].数学年刊（A辑）,1993,1(5):501-506.
6王宁.四阶矩阵代数中两个新的Kadsin-singer格[J].重庆工商大学学报（自然科学版）,2013,30(12):24-27.
7李昂生,眭跃飞.递归可枚举度临界性问题的一个结果(Ⅰ)[J].数学学报（中文版）,1993,36(5):654-661.
8Zhao Xiang LI,Han REN.Minimum Genus Embeddings of the Complete Graph[J].Acta Mathematica Sinica,English Series,2016,32(10):1246-1254.
9张再跃.关于相对反杯性质的一个结果[J].科学通报,1995,40(22):2022-2025.
10张再跃,眭跃飞.每个非零的 a∈ R/ M中不存在极小元(英文)[J].软件学报,2000,11(11):1425-1429. 被引量：1

中国科学（A辑）

1992年第10期

内容加载中请稍等...