Definability of Recursive Functions

This post discusses recursive functions and their definability in arithmetic.