Model theory is a branch of mathematical logic. Its modern history dates back to 1962. There is a way of measuring the size of the objects of model theory. At the end of the 1970s, the mathematicians Cherlin and Zilber made a conjecture concerning this size issue. While the logicians' community was starting to doubt the veracity of the conjecture, Olivier Frécon recently proved that the conjecture is true in an important particular case.
Olivier Frécon is an Associate Professor at Université de Poitiers. He is a member of the Laboratoire Mathématiques et Applications.