Recursive Functions of One Variable

DOI10.2307/2035317zbMath0165.31601OpenAlexW4237879273MaRDI QIDQ5551451

Julia Robinson

Publication date: 1968

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

zbMATH Keywords

recursion theory

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (4)

Undecidability and chaos in word-coded symbolic dynamics ⋮ Primitive iteration and unary functions ⋮ Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). ⋮ General iteration and unary functions

Cites Work

• An introduction to hyperarithmetical functions
• Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi
• Primitive recursive functions

This page was built for publication: Recursive Functions of One Variable