一个高的钻石定理

, PP. 23-39

Keywords: 可计算性理论,可计算枚举度,可计算枚举度,turing归约(图灵归约),相对可计算性.

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text