摘要
We construct a minimal pair of K-degrees. We do this by showing the existence of an unbounded nondecreasing function f which forces K-triviality in the sense that gamma is an element of 2(w) is K- trivial if and only if for all n, K(gamma vertical bar n) <= K(n) + f(n) + O(1).
- 出版日期2006