This lecture will describe the historical context and some key properties of o-minimality.
It will then describe certain results in functional transcendence, generalizing
the classical results on exponentiation due to Ax, and sketch how they can be proved.