Primitive Recursive Functions. II

DOI10.2307/2033448zbMATH Open0067.00203OpenAlexW4240026457MaRDI QIDQ3227565FDOQ3227565

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)