Unary primitive recursive functions

DOI10.2178/JSL/1230396909MaRDI QIDQ5502807zbMATH OpenOpenAlexFDO

Authors D. Severín

Publication date 9 January 2009

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/cs/0603063

zbMATH Keywords

reductionrecursion schemeprimitive recursive function

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Abstract: In this article, we study some new characterizations of primitive recursive functions based on restricted forms of primitive recursion, improving the pioneering work of R. M. Robinson and M. D. Gladstone in this area. We reduce certain recursion schemes (mixed/pure iteration without parameters) and we characterize one-argument primitive recursive functions as the closure under substitution and iteration of certain optimal sets.

Recommendations

• Primitive iteration and unary functions
• scientific article; zbMATH DE number 3557777
• Unary functions
• A classification of the one-argument primitive recursive functions
• scientific article; zbMATH DE number 4019039
• scientific article; zbMATH DE number 3557782
• scientific article; zbMATH DE number 4210127
• scientific article; zbMATH DE number 19776
• scientific article; zbMATH DE number 52595
• scientific article; zbMATH DE number 2185679

Cites work

• A classification of the one-argument primitive recursive functions
• A reduction of the recursion scheme
• Bounded iteration and unary functions
• Classes of One‐Argument Recursive Functions
• Classes of recursive functions based on Ackermann's function
• Iteration of relative primitive recursion
• On the Algebraic Structure of Primitive Recursive Functions
• Primitive iteration and unary functions
• Primitive recursive functions
• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus

Cited in

(10)

• Iteration on notation and unary functions
• scientific article; zbMATH DE number 19776 (Why is no real title available?)
• scientific article; zbMATH DE number 4019039 (Why is no real title available?)
• Primitive iteration and unary functions
• Turing completeness of water computing
• Definitional schemes for primitive recursive and computable functions
• Bounded iteration and unary functions
• Unary functions
• Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen
• A complete characterization of primitive recursive intensional behaviours

This page was built for publication: Unary primitive recursive functions

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