Iterated images on manifolds (Q1072544)

This paper exhibits a major difference, with respect to the behavior of the operation of iteration, between classical recursion theory and the generalized setting of recursive manifolds. Classically, for any number n and partial recursive function f, the iterates n, f(n), f(f(n)),... form a recursively enumerable set. It is shown that this property, in general, does not carry over to recursive manifolds.