摘要
证明存在一个保持最大元 1的可计算枚举高度的钻石格 .
It is shown that there exists a diamond of high computably enumerable degrees preserving the greatest element 1.
出处
《软件学报》
EI
CSCD
北大核心
2000年第1期23-39,共17页
Journal of Software
基金
国家自然科学基金!
No.6 99730 4 8
国家 8 6 3高科技项目基金!No.86 3- 30 6 - 0 5- 0 9- 2 B
中国科学院青年基金
关键词
可计算性理论
可计算枚举度
钻石定理
Computability theory, computably enumerable set, computably enumerable degree, Turing reducibility, relative computability.
