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

Abstract

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 $x^{\alpha }$, ${\gamma }^x$, and ${\log }_{\gamma }x$.

20 pages, 2 figures