Equivalence of some Hierarchies of Primitive Recursive Functions

DOI10.1002/MALQ.19790252506zbMath0446.03029OpenAlexW2046817625MaRDI QIDQ3890675

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)

Related Items (3)

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

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