Penon, Jacques Infinitesimaux et intuitionnisme. (French) Zbl 0463.18005 Cah. Topol. Géom. Différ. 22, 67-72 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 3 Documents MSC: 18F15 Abstract manifolds and fiber bundles (category-theoretic aspects) 18B25 Topoi 58A05 Differentiable manifolds, foundations 03F55 Intuitionistic mathematics Keywords:infinitesimal; ring of germs; double negation; topos models of synthetic differential geometry; inverse function theorem; openness × Cite Format Result Cite Review PDF Full Text: Numdam EuDML