Productive sets and constructively nonpartial-recursive functions

DOI10.1007/BF01625833zbMath0649.03034OpenAlexW2033757513MaRDI QIDQ1105589

Akira Kanda

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

zbMATH Keywords

constructively nonpartial-recursive functionsproductive sets

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory (03D99)

Related Items (1)

ON WAYS OF CHARACTERIZING COMPLETE SETS

Cites Work

• Constructively nonpartial recursive functions

This page was built for publication: Productive sets and constructively nonpartial-recursive functions