Extending the Cooper minimal pair theorem (Q5934293)

The author proves that for any high recursively enumerable (r.e.) degree \(h\) and r.e. degree \(b\) such that \(h\nleq b\), there exist r.e. degrees \(a_0\) and \(a_1\) such that \(a_0,a_1 \nleq b\) and \(a_0,a_1\) form a minimal pair below \(h\).