A minimal pair of 𝐾-degrees
Barbara F. Csima, Antonio Montalbán · Proceedings of the American Mathematical Society · 2005
We construct a minimal pair of K K -degrees. We do this by showing the existence of an unbounded nondecreasing function f f which forces K K -triviality in the sense that γ ∈ 2 ω \gamma \in 2^\omega is K K -trivial if and only if for all n n , K ( γ ↾ n ) ≤ K ( n ) + f ( n ) + O ( 1 ) K(\gamma \upharpoonright n) \leq K(n) + f(n)+ \mathcal {O}(1) .