Computable structures on topological manifolds

Marcelo A. Aguilar, Rodolfo Conde

We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability…