The Fundamental Theorem of Calculus point-free, with applications to exponentials and logarithms

Steven Vickers

Working in point-free topology under the constraints of geometric logic, we prove the Fundamental Theorem of Calculus, and apply it to prove the usual rules for the derivatives of…