Roland Fraïssé
Roland Fraïssé (* 3. Dezember 1920; † 30. März 2008 in Marseille) war ein französischer mathematischer Logiker, der sich mit der Theorie der Relationen und Modelltheorie beschäftigte.
Fraïssé wurde 1950 an der Universität Paris promoviert mit einer Arbeit, in der bereits Grundlagen für die von Andrzej Ehrenfeucht später weiterentwickelte Methode der Ehrenfeucht-Fraïssé-Spiele in der Modelltheorie gelegt wurden.[1] Er war Professor an der Universität Lyon und ab 1991 an der Universität Marseille.
In der Modelltheorie ist der Fraissé-Grenzwert nach ihm benannt, mit dem eine Struktur durch endlich erzeugte Teilstrukturen approximiert wird. Sie wurden von ihm 1954 eingeführt am Spezialfall der Approximation der rationalen Zahlen durch Klassen endlicher linearer Ordnungen[2]. Der Satz von Fraïssé zur algebraischen Charakterisierung der elementaren Äquivalenz ist mit seinem Namen verbunden.
Schriften Bearbeiten
- Theory of relations, North Holland 1986, überarbeitete Neuauflage, Elsevier 2000 (Studies in Logic and the Foundations of Mathematics)
- Course of Mathematical Logic, 2 Bände, Dordrecht, Reidel 1973, 1974, Band 1 Relation and logical formula, Band 2 Model Theory (französisch bei Gauthiers-Villars 1967 und in Neuauflage in 3 Bänden 1971 bis 1975)
- L'algébre logique et ses rapports avec la théorie des relations, Presse de l'Université de Montréal 1972
Weblinks Bearbeiten
- Nachruf der Universität Ottawa: Décès de Roland Fraïssé (Memento vom 24. Mai 2008 im Internet Archive)
Einzelnachweise Bearbeiten
- ↑ 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, veröffentlicht in Publications Scientifiques de l'Université d'Alger, Serie A 1 (1954), 35–182, Teil 2 in Band 2, 1955, S. 273
- ↑ Fraissé Sur l extension aux relations des quelques proprietés des ordres, Ann. Scient. École Normale Supérieure, Band 71, 1954, S. 363, Online (Memento des vom 5. August 2014 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
| Personendaten | |
|---|---|
| NAME | Fraïssé, Roland |
| KURZBESCHREIBUNG | französischer Mathematischer Logiker |
| GEBURTSDATUM | 3. Dezember 1920 |
| STERBEDATUM | 30. März 2008 |
| STERBEORT | Marseille |