###
DOI:
Journal of Software:2000.11(1):23-39

一个高的钻石定理
李昂生,杨东屏
(中国科学院软件研究所,北京,100080)
A High Diamond Theorem
Li Ang-sheng,Yang Dong-ping
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2459   Download 2734
Received:October 22, 1998    Revised:September 27, 1999
> 中文摘要: 证明存在一个保持最大元1的可计算枚举高度的钻石格.
Abstract:It is shown that there exists a diamond of high computably enumerable degrees preserving the greatest element 1.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金,No.69973048;国家863高科技项目基金,No.863-306-05-09-2B,中国科学院青年基金 国家自然科学基金,No.69973048;国家863高科技项目基金,No.863-306-05-09-2B,中国科学院青年基金
Foundation items:
Reference text:

李昂生,杨东屏.一个高的钻石定理.软件学报,2000,11(1):23-39

Li Ang-sheng,Yang Dong-ping.A High Diamond Theorem.Journal of Software,2000,11(1):23-39