α-算子间隙定理

Jacobs在[9]中把抽象计算复杂性理论推广为广义计算复杂性理论。目前已有许多重要的抽象计算复杂性理论中的定理,都被他推广到广义计算复杂性理论中了。其中还包括Borodin的间隙定理。Jacobs还企图推广Constable的算子间隙定理,但未成功,因此他提出Constable的算子间隙定理是否可以推广到一切可允许序数α的前节上去的问题。本文里把Constable的算子间隙定理推广到一切可允许序数α的前节上去,从而回答了Jacobs的问题。     

一个高的钻石定理

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