Shorter Notes: A Note on the Failure of the Relativized Enumeration Theorem in Recursive Function Theory
From MaRDI portal
Publication:5604457
DOI10.2307/2036780zbMath0205.01102OpenAlexW1993486034MaRDI QIDQ5604457
Publication date: 1970
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2036780
Related Items (4)
Computation on abstract data types. The extensional approach, with an application to streams ⋮ On the reducibility of \(\Pi_ 1^ 1\) sets ⋮ \({\mathcal M}^\omega\) considered as a programming language ⋮ Computational foundations of basic recursive function theory
This page was built for publication: Shorter Notes: A Note on the Failure of the Relativized Enumeration Theorem in Recursive Function Theory
