The Andr\'e-Oort conjecture via o-minimality
  The purpose of this article is to explain the Pila-Zannier strategy for proving the Andr\'e-Oort conjecture. First, however, we will provide a brief introduction to the theory of Shimura varieties. 
Christopher Daw
math.NT