Math 512:

o-minimality and applications