scientific article
From MaRDI portal
Publication:3913565
zbMath0463.18005MaRDI QIDQ3913565
Publication date: 1981
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1981__22_1_67_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
infinitesimaldouble negationopennessinverse function theoremring of germstopos models of synthetic differential geometry
Topoi (18B25) Differentiable manifolds, foundations (58A05) Intuitionistic mathematics (03F55) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)
Related Items (3)
Infinitesimals and the continuum ⋮ Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry ⋮ Synthetic aspects of \(C^\infty\)-mappings
This page was built for publication:
