Productive sets and constructively nonpartial-recursive functions
From MaRDI portal
Publication:1105589
DOI10.1007/BF01625833zbMath0649.03034MaRDI QIDQ1105589
Publication date: 1988
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01625833
03D20: Recursive functions and relations, subrecursive hierarchies
03D25: Recursively (computably) enumerable sets and degrees
03D99: Computability and recursion theory
Cites Work