Manifolds allowing RET arithmetic (Q790107)

In a previous paper the author generalized the theory of recursive equivalence types to recursively enumerable manifolds. Roughly speaking this is analogous to extending a theory from Euclidean spaces to spaces which are locally Euclidean. Certain strong conditions were imposed on the manifold in order to make it possible to define addition of RETs. In this paper it is shown by means of counter-examples that these conditions are necessary.