Degrees of unsolvability and strong forms of _R+_R_R

DOI10.1305/NDJFL/1093888120zbMATH Open0383.03031OpenAlexW2073471073MaRDI QIDQ1248620FDOQ1248620

Authors: Thomas G. McLaughlin 

Publication date: 1977

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093888120

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Recursive equivalence types of sets and structures, isols (03D50)

Cited In (1)

• Ideals in isols containing a set of regressive isols

This page was built for publication: Degrees of unsolvability and strong forms of \(\Lambda_R+\Lambda_R\underset\neq\supset\Lambda_R\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1248620)