Roland Fraïssé
From Wikipedia, the free encyclopedia
Roland Fraïssé is a French mathematical logician. He was born in 1920 and received his doctoral degree from the University of Paris in 1953. In his thesis[1],[2], Fraïssé invented the back-and-forth method which the Ehrenfeucht–Fraïssé game uses to verify the elementary equivalence of two model-theoretic structures. Fraïssé has worked primarily in relation theory.
[edit] References
- ^ * Sur une nouvelle classification des systèmes de relations, Roland Fraïssé, Comptes Rendus 230 (1950), 1022–1024.
- ^ * Sur quelques classifications des systèmes de relations, Roland Fraïssé, thesis, Paris, 1953; published in Publications Scientifiques de l'Université d'Alger, series A 1 (1954), 35–182.
[edit] Selected additional 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.
 |
This article about a French mathematician is a stub. You can help Wikipedia by expanding it. |
