Rational points on definable sets

After a quick introduction to definability and o-minimality I'll discuss the Pila-Wilkie theorem on rational points on definable sets. Then I'll discuss some more recent results which give examples where the bound in the Pila-Wilkie theorem can be improved.