Extending Cooper’s theorem to Δ 3 0 Turing degrees
From MaRDI portal
Publication:4683156
DOI10.3233/COM-180085zbMath1435.03071MaRDI QIDQ4683156
M. M. Yamaleev, Victor L. Selivanov
Publication date: 20 September 2018
Published in: Computability (Search for Journal in Brave)
03D25: Recursively (computably) enumerable sets and degrees
03D28: Other Turing degree structures
03D55: Hierarchies of computability and definability