Recursion does not always help

We show that adding recursion does not increase the total functions definable in the typed $\lambda \beta \eta$-calculus or the partial functions definable in the $\lambda \mathrm{\Omega }$-calculus. As a consequence, adding recursion does not increase the class of partial or total definable functions on free algebras and so, in particular, on the natural numbers.