Differential Calculus and Nilpotent Real Numbers

DOI10.2178/bsl/1052669291zbMath1072.51019OpenAlexW2164287754MaRDI QIDQ4650299

Anders Kock

Publication date: 9 February 2005

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bsl/1052669291

zbMATH Keywords

synthetic differential geometryformalism of synthetic calculusHjelmslev's ``natürliche Geometrienonstandard models in mathematics

Mathematics Subject Classification ID

Synthetic differential geometry (51K10)

Related Items (2)

Mathematical pluralism: The case of smooth infinitesimal analysis ⋮ Affine connections, midpoint formation, and point reflection

Cites Work

• Euklidische Ebenen mit Nachbarelementen
• A simple axiomatics for differentiation.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Differential Calculus and Nilpotent Real Numbers