THEOREM 1.1 (Sacks Splitting Theorem [12]). For any c.e. degree a O0, there ist c.e. degrees ao, al such that ao, at < a and a = ao V al.
確定! 回上一頁