doctoral_advisor death_place death_date birth_place nationality fields workplaces birth_date doctoral_students article_title name alma_mater
rené de possel marseille , france 30 march 2008 bressuire , france french mathematics university of provence 12 march 1920 nikos lygeros roland fraïssé
 roland fraïssé university of paris
roland fraïssé

roland fraïssé -lrb- ; 12 march 1920 -- 30 march 2008 -rrb- was a french mathematical logician .
he received his doctoral degree from the university of paris in 1953 .
in his thesis , fraïssé used the back-and-forth method to determine whether two model-theoretic structures were elementarily equivalent .
this method of determining elementary equivalence was later formulated as the ehrenfeucht -- fraïssé game .
fraïssé worked primarily in relation theory .
another of his important works was the fraïssé construction of a fraïssé limit of finite structures .
he also introduced the notion of compensor in the theory of posets .
most of his career was spent as professor at the university of provence in marseille , france .
