·2,447,543篇论文数据，部分数据来源于NoteExpress
It is shown that there exists a diamond of high computably enumerable degrees preserving the greatest element 1.
证明存在一个保持最大元1的可计算枚举高度的钻石格。
youdao
应用推荐
模块上移
模块下移
不移动