scientific article
From MaRDI portal
Publication:3223016
zbMath0558.18003MaRDI QIDQ3223016
Publication date: 1985
Full work available at URL: https://eudml.org/doc/193005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
tangent bundlelocal invertibilityintuitionistic logicinfinitesimalsynthetic differential geometryformal manifoldsNullstellensatznilpotentsDubuc toposring of line typeintrinsic topology
Topoi (18B25) Intuitionistic mathematics (03F55) Synthetic differential geometry (51K10) Foundations of algebraic geometry (14A99) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)
Related Items
Logical opens and real numbers in topoi, Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs, Cohomologie T-équivariante de la variété de drapeaux d'un groupe de Kač-Moody, Germ representability and local integration of vector fields in a well adapted model of SDG, Unnamed Item, Brouwer's fixed-point theorem in real-cohesive homotopy type theory, Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry, Unnamed Item, Unnamed Item
