Roland Fraïssé - Roland Fraïssé

Roland Fraïssé
narozený(1920-03-12)12. března 1920
Bressuire, Francie
Zemřel30. března 2008(2008-03-30) (ve věku 88)
Marseille, Francie
Národnostfrancouzština
Alma materUniversity of Paris
Známý jakoHry Ehrenfeucht – Fraïssé
Vědecká kariéra
PoleMatematika
InstituceUniversity of Provence
TezeSur quelques klasifikace systémů vztahů (1953)
Doktorský poradceRené de Possel

Roland Fraïssé (Francouzština:[ʁɔlɑ̃ fʁajse]; 12. března 1920-30. Března 2008[1]) byl Francouz matematický logik.

Fraïssé získal doktorát z University of Paris v roce 1953. Ve své diplomové práci[2][3] Fraïssé použil metoda tam a zpět zjistit, zda dva model-teoretický struktur byly elementárně ekvivalentní. Tato metoda stanovení elementární ekvivalence byla později formulována jako Hra Ehrenfeucht – Fraïssé. Fraïssé pracovala především v teorie vztahů. Další z jeho důležitých prací byla Konstrukce Fraïssé Fraïssého limitu konečných struktur. Také formuloval Fraïssého domněnka o vkládání objednávek a zavedl pojem kompenzátoru do teorie poset.[4]

Většinu své kariéry strávil jako profesor na University of Provence v Marseille, Francie.

Vybrané publikace

  • Sur quelques klasifikace systémů vztahů, práce, Pařížská univerzita, 1953; zveřejněno v Publikace Scientifiques de l'Université d'Alger, série A 1 (1954), 35–182.
  • Cours de logique mathématique, Paříž: Gauthier-Villars Éditeur, 1967; druhé vydání, 3 svazky, 1971–1975; tr. do angličtiny a vyd. David Louvish as Kurz matematické logiky, 2 sv., Dordrecht: Reidel, 1973–1974.
  • Teorie vztahů, tr. do angličtiny P. Clote, Amsterdam: North-Holland, 1986; rev. vyd. 2000.

Reference

  1. ^ Rogics08 - Décès de Roland Fraïssé - Zpráva de Maurice Pouzet et Gérard Lopez, zpřístupněno 22. května 2008.
  2. ^ Sur u nouvelle klasifikace systémů vztahů, Roland Fraïssé, Comptes Rendus 230 (1950), 1022–1024.
  3. ^ Sur quelques klasifikace systémů vztahů, Roland Fraïssé, thesis, Paris, 1953; publikováno v Publikace Scientifiques de l'Université d'Alger, série A 1 (1954), 35–182.
  4. ^ 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

externí odkazy