It is shown that there exists a diamond of high computably enumerable degrees preserving the greatest element 1.

证明存在一个保持最大元1的可计算枚举高度的钻石格。

youdao

It is shown that there exists a diamond of high computably enumerable degrees preserving the greatest element 1.

证明存在一个保持最大元1的可计算枚举高度的钻石格。

youdao