On the existence of a strong minimal pair
arXiv:1610.03591
Abstract
We show that there is a strong minimal pair in the computably enumerable Turing degrees.
arXiv:1610.03591
We show that there is a strong minimal pair in the computably enumerable Turing degrees.