Roland Fraïssé, Fachbücher von Dagda Tanner Mattheus

Das Buch "Roland Fraïssé" bietet eine umfassende Betrachtung des Lebens und der Arbeiten des französischen mathematischen Logikers Roland Fraïssé, der 1920 geboren wurde und 2008 in Marseille verstarb. Fraïssé ist bekannt für seine bedeutenden Beiträge zur mathematischen Logik, insbesondere in der Relationstheorie. In seiner Dissertation, die er 1953 an der Universität Paris verteidigte, entwickelte er die Back-and-Forth-Methode zur Bestimmung der elementaren Äquivalenz von modelltheoretischen Strukturen. Diese Methode wurde später als Ehrenfeucht-Fraïssé-Spiel bekannt. Das Buch beleuchtet auch seine weiteren wichtigen Arbeiten, wie die Fraïssé-Konstruktion und die Einführung des Begriffs "Compensor" in der Theorie der partiellen Ordnungen. Die Publikation richtet sich an Leser, die sich für die Geschichte der Mathematik und die Entwicklung logischer Theorien interessieren.