Arithmetic Recursive Functions