Some results in church's restricted recursive arithmetic
Joyce Friedman · Journal of Symbolic Logic · 1957
Alonzo Church has proposed a system of “restricted recursive arithmetic” for the analysis of computer circuits which include time delays and feedback. Restricted recursive arithmetic, which will be referred to as rra, was introduced by Church in this Journal, vol. 20 (1955), pp. 286–287, in a review of an article by Edmund C. Berkeley. It is the purpose of this paper to present some results which have been found for the system rra.