Abstract
In this paper proofs are given of conjectures of Schanuel on the algebraic relations satisfied by exponentiation in a differential-algebraic setting. The methods and results are then used to give new proofs and generalizations of the theorems of Chabauty, Kolchin, and Skolem.
