On the existence of a strong minimal pair

12 Oct 2016 Barmpalias George Cai Mingzhong Lempp Steffen Slaman Theodore A.

We show that there is a strong minimal pair in the computably enumerable Turing degrees...

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC