Productive sets and constructively nonpartial-recursive functions

DOI10.1007/BF01625833zbMath0649.03034MaRDI QIDQ1105589

Akira Kanda

Publication date: 1988

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

constructively nonpartial-recursive functions; productive sets

Mathematics Subject Classification ID

03D20: Recursive functions and relations, subrecursive hierarchies

03D25: Recursively (computably) enumerable sets and degrees

03D99: Computability and recursion theory

Cites Work

• Constructively nonpartial recursive functions