A classification of the one-argument primitive recursive functions
From MaRDI portal
Publication:3333020
DOI10.1007/BF02023023zbMath0544.03015MaRDI QIDQ3333020
Publication date: 1983
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/138017
subrecursive hierarchies; hierarchy of one-argument functions; iterative hierarchy; simulation of register-machines with step-functions
03D20: Recursive functions and relations, subrecursive hierarchies
Related Items
Unary primitive recursive functions, Primitive iteration and unary functions, A classification of an iterative hierarchy
Cites Work
- Unnamed Item
- Classes of recursive functions based on Ackermann's function
- Classes of One‐Argument Recursive Functions
- Another simplification of the recursion scheme
- Iteration of Primitive Recursion
- Rekursionszahlen und die Grzegorczyk-Hierarchie
- Simplifications of the recursion scheme
- Primitive recursive functions