A classification of the one-argument primitive recursive functions

DOI10.1007/BF02023023zbMath0544.03015MaRDI QIDQ3333020

Jovan Naumovic

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

zbMATH Keywords

subrecursive hierarchieshierarchy of one-argument functionsiterative hierarchysimulation of register-machines with step-functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (3)

Primitive iteration and unary functions ⋮ A classification of an iterative hierarchy ⋮ Unary primitive recursive functions

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

This page was built for publication: A classification of the one-argument primitive recursive functions