In the recent years there have been some spectacular applications of the theory of o-minimality (a branch of Model Theory) to some problems in Diophantine Geometry. It culminated in the unconditional proof of the Andre-Oort conjecture on the Zariski closure of sets of special points on Shimura varieties. We will present ideas and methods surrounding this proof.
This video was produced by the International Centre for Mathematical Sciences, as part of the workshop UK-Vietnam mathematics joint meeting.
