Equivalence of some Hierarchies of Primitive Recursive Functions

DOI10.1002/MALQ.19790252506MaRDI QIDQ3890675zbMATH OpenOpenAlexFDO

Authors Keith Harrow

Publication date 1979

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19790252506

zbMATH Keywords

hierarchies of classes of relationshierarchies of primitive recursive functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cited in

(3)

• Super-exponentials nonprimitive recursive, but rudimentary
• Strictly primitive recursive realizability, I
• Computation models and function algebras

This page was built for publication: Equivalence of some Hierarchies of Primitive Recursive Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3890675)