Roland Fraïssé (; Bressuire, – Marselha, ) foi um lógico matemático francês.
Fraïssé obteve um doutorado na Universidade de Paris em 1953. Em sua tese,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; publicada em Publications Scientifiques de l'Université d'Alger, series A 1 (1954), 35–182. Fraïssé usou o método do vai-e-vem (back-and-forth method) para determinar se duas estruturas de modelos teóricos são equivalentes elementares. Este método de determinar equivalência elementar foi depois formulado como jogo de Ehrenfeucht–Fraïssé. Fraïssé trabalhou primariamente com teoria das relações. Outro de seu trabalhos fundamentais foi a construção de Fraïssé de um limite de Fraïssé de estruturas finitas. Ele também formulou a conjectura de Fraïssé sobre o embutimentos de ordem, e introduziu a noção de compensador em conjuntos parcialmente ordenados.Petits posets : dénombrement, représentabilité par cercles et compenseurs, Roland Fraïssé and Nik Lygeros Comptes Rendus de l'Académie des Sciences, Série I 313 (1991), no. 7, 417—420
Passou a maior parte de sua carreira como professor na Universidade de Provence Aix-Marseille, França.
Publicações selecionadas 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.
Categoria:Teóricos dos modelos Categoria:Especialistas em lógica matemática Categoria:Lógicos da França Categoria:Filósofos da França Categoria:Matemáticos da França do século XX Categoria:Matemáticos da França do século XXI