Strengthening prompt simplicity
From MaRDI portal
Publication:3173534
DOI10.2178/jsl/1309952528zbMath1247.03074MaRDI QIDQ3173534
Keng Meng Ng, David E. Diamondstone
Publication date: 10 October 2011
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1309952528
03D25: Recursively (computably) enumerable sets and degrees
Cites Work