Recursion, metarecursion, and inclusion

DOI10.2307/2271654MaRDI QIDQ5602099zbMATH OpenOpenAlexFDO

Authors James C. jun. Owings

Publication date 1967

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2271654

Cited in

(8)

• Splitting theorems in recursion theory
• Some orbits for \({\mathcal E}\)
• Partial decidable presentations in hyperarithmetic
• On the reducibility of \(\Pi_ 1^ 1\) sets
• On splits of computably enumerable sets
• A Decidable Fragment of the Elementary Theory of the Lattice of Recursively Enumerable Sets
• Recursively enumerable sets and degrees
• ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS

This page was built for publication: Recursion, metarecursion, and inclusion

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