Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry (Q1809711)

Using techniques from nonstandard analysis, the author proves that given a differentiable manifold \(M\), every tangent vector field on it defines a deformation of \(M\) into a particular kind of supermanifold. These supermanifolds are then equivalent to approximations of \(M\) by sequences of what is called computable manifold-like structures.