A New Proof of Friedman's Conjecture
From MaRDI portal
Publication:3174641
DOI10.2178/bsl/1309952321zbMath1242.03064WikidataQ122979975 ScholiaQ122979975MaRDI QIDQ3174641
Publication date: 11 October 2011
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/8de1bab51471c3507bec34fe24d8e471afa45990
03D25: Recursively (computably) enumerable sets and degrees
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
Cites Work