No label defined (Q3223016)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    1985
    0 references
    infinitesimal
    0 references
    nilpotents
    0 references
    synthetic differential geometry
    0 references
    intuitionistic logic
    0 references
    tangent bundle
    0 references
    ring of line type
    0 references
    formal manifolds
    0 references
    Nullstellensatz
    0 references
    intrinsic topology
    0 references
    local invertibility
    0 references
    Dubuc topos
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references