Recursion, metarecursion, and inclusion
From MaRDI portal
Publication:5602099
DOI10.2307/2271654zbMath0204.01202OpenAlexW2169781225MaRDI QIDQ5602099
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
Related Items
ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS, A Decidable Fragment of the Elementary Theory of the Lattice of Recursively Enumerable Sets, On Splits of Computably Enumerable Sets, Recursively enumerable sets and degrees, On the reducibility of \(\Pi_ 1^ 1\) sets, Some orbits for \({\mathcal E}\), Partial decidable presentations in hyperarithmetic, Splitting theorems in recursion theory