Sneha Girap (Editor)

Roland Fraïssé

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Nationality
  
French

Name
  
Roland Fraisse

Doctoral advisor
  
Rene de Possel

Doctoral students
  
Nikos Lygeros

Fields
  
Mathematics

Alma mater
  
University of Paris

Education
  
University of Paris

Role
  
Professor of mathematics



Born
  
12 March 1920 Bressuire, France (
1920-03-12
)

Died
  
March 30, 2008, Marseille, France

Books
  
Theory of relations, Course of mathematical logic

Institutions
  
University of Provence

Roland Fraïssé ([ʁɔlɑ̃ fʁajse]; 12 March 1920 – 30 March 2008) was a French mathematical logician.

Fraïssé 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.

Selected publications

  • Sur quelques classifications des systèmes de relations, thesis, University of Paris, 1953; published in Publications Scientifiques de l'Université d'Alger, series A 1 (1954), 35–182.
  • Cours de logique mathématique, Paris: Gauthier-Villars Éditeur, 1967; second edition, 3 vols., 1971–1975; tr. into English and ed. by David Louvish as Course of Mathematical Logic, 2 vols., Dordrecht: Reidel, 1973–1974.
  • Theory of relations, tr. into English by P. Clote, Amsterdam: North-Holland, 1986; rev. ed. 2000.
  • References

    Roland Fraïssé Wikipedia