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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry
scientific article

    Statements

    Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry (English)
    0 references
    11 September 2000
    0 references
    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.
    0 references
    supermanifold
    0 references
    non-standard analysis
    0 references
    computable structures
    0 references

    Identifiers