Roland Fraïssé

Roland Fraïssé (born December 3, 1920 , † March 30, 2008 in Marseille ) was a French mathematical logician who dealt with the theory of relations and model theory.

Fraïssé received his doctorate in 1950 from the University of Paris with a thesis that laid the foundations for the method of Ehrenfeucht-Fraïssé games in model theory, which was later developed by Andrzej Ehrenfeucht . He was a professor at the University of Lyon and from 1991 at the University of Marseille .

In model theory, the Fraissé limit value is named after him, with which a structure is approximated by finitely generated substructures. They were introduced by him in 1954 in the special case of the approximation of rational numbers by classes of finite linear orders. The set of Fraisse algebraic characterization of elementary equivalence is associated with his name.

Fonts

• Theory of relations , North Holland 1986, revised new edition, Elsevier 2000 (Studies in Logic and the Foundations of Mathematics)
• Course of Mathematical Logic , 2 volumes, Dordrecht, Reidel 1973, 1974, Volume 1 Relation and logical formula , Volume 2 Model Theory (French in Gauthiers-Villars 1967 and in a new edition in 3 volumes 1971 to 1975)
• L'algébre logique et ses rapports avec la théorie des relations , Presse de l'Université de Montréal 1972

Web links

• Obituary of the University of Ottawa: Décès de Roland Fraïssé ( Memento of May 24, 2008 in the Internet Archive )

Individual evidence

1. ↑ Fraïssé Sur une nouvelle classification des systèmes de relations , Comptes Rendus 230 (1950), 1022-1024, Sur quelques classifications des systèmes de relations , Thesis, Paris, 1953, published in Publications Scientifiques de l'Université d'Alger, Series A. 1 (1954), 35-182, part 2 in volume 2, 1955, p. 273
2. ^ Fraissé Sur l extension aux relations des quelques proprietés des ordres , Ann. Scient. École Normale Supérieure, Volume 71, 1954, p. 363, Online ( Memento of the original dated August 5, 2014 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice.