Simplifications of the recursion scheme

DOI10.2307/2272468MaRDI QIDQ5661859zbMATH OpenOpenAlexFDO

Authors M. D. Gladstone

Publication date 1972

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

Full work available at URL https://doi.org/10.2307/2272468

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites work

• Primitive recursive functions

Cited in

(11)

• A foundation for real recursive function theory
• Primitive iteration and unary functions
• General iteration and unary functions
• Structural recursion as a query language on lists and ordered trees
• A classification of the one-argument primitive recursive functions
• Another simplification of the recursion scheme
• Partial recursive functions and finality
• Definitional schemes for primitive recursive and computable functions
• Iteration on notation and unary functions
• Closure functions and general iterates as reflectors
• Computability on reals, infinite limits and differential equations

This page was built for publication: Simplifications of the recursion scheme

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