An ω-REA set forming a minimal pair with 0 ~ ′

DOI10.3233/COM-180191zbMath1460.03012arXiv1012.0950OpenAlexW2463626738MaRDI QIDQ5118458

Peter M. Gerdes

Publication date: 8 September 2020

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1012.0950

zbMATH Keywords

minimal pairTuring reducibilitycomputabilityREA\( \omega \)-REA

Mathematics Subject Classification ID

Other Turing degree structures (03D28) Hierarchies of computability and definability (03D55)