Primitive Recursive Functions. II

DOI10.2307/2033448MaRDI QIDQ3227565zbMATH OpenOpenAlexFDO

Authors Raphael M. Robinson

Publication date 1955

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

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(7)

• Primitive iteration and unary functions
• General iteration and unary functions
• Bases for algebras of recursive functions
• Generation of invertible functions
• Definitional schemes for primitive recursive and computable functions
• Closure functions and general iterates as reflectors
• Finite Generation of Recursively Enumerable Sets

This page was built for publication: Primitive Recursive Functions. II

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