On the existence of a strong minimal pair
From MaRDI portal
Publication:5501923
DOI10.1142/S0219061315500038zbMath1386.03044arXiv1610.03591MaRDI QIDQ5501923
Theodore A. Slaman, Steffen Lempp, George Barmpalias, Mingzhong Cai
Publication date: 14 August 2015
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1610.03591
03D25: Recursively (computably) enumerable sets and degrees