一个高的钻石定理

摘要

It is shown that there exists a diamond of high computably enumerable degrees preserving the greatest element 1.%证明存在一个保持最大元1的可计算枚举高度的钻石格.