O-minimality and Ax-Schanuel properties

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.