Unary primitive recursive functions

DOI10.2178/JSL/1230396909zbMATH Open1158.03023arXivcs/0603063OpenAlexW3102439663MaRDI QIDQ5502807FDOQ5502807

Authors: D. Severín 

Publication date: 9 January 2009

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

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.

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

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
• scientific article; zbMATH DE number 19776
• scientific article; zbMATH DE number 52595
• scientific article; zbMATH DE number 2185679

zbMATH Keywords

reductionrecursion schemeprimitive recursive function

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

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

Cited In (10)

• Primitive iteration and unary functions
• Unary functions
• Bounded iteration and unary functions
• Iteration on notation and unary functions
• Turing completeness of water computing
• Definitional schemes for primitive recursive and computable functions
• A complete characterization of primitive recursive intensional behaviours
• Title not available (Why is that?)
• Title not available (Why is that?)
• Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen

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)