Роланд Фраиссе - Roland Fraïssé

Роланд Фраиссе
Родившийся(1920-03-12)12 марта 1920 г.
Брессюир, Франция
Умер30 марта 2008 г.(2008-03-30) (88 лет)
Марсель, Франция
НациональностьФранцузский
Альма-матерПарижский университет
ИзвестенИгры Эренфойхта – Фраиссе
Научная карьера
ПоляМатематика
УчрежденияУниверситет Прованса
ТезисSur quelques классификации систем отношений (1953)
ДокторантРене де Поссель

Роланд Фраиссе (Французский:[ʁɔlɑ̃ fʁajse]; 12 марта 1920 г. - 30 марта 2008 г.[1]) был француз математический логик.

Фраиссе получил докторскую степень в Парижский университет в 1953 г. В своей диссертации,[2][3] Фраиссе использовал возвратно-поступательный метод чтобы определить, есть ли два теоретико-модельный структуры мы элементарно эквивалентный. Этот метод определения элементарной эквивалентности позже был сформулирован как Игра Эренфойхта – Фраиссе. Фраиссе работал в основном в теория отношений. Еще одной из его важных работ была Строительство Fraïssé предела Фраиссе конечных структур. Он также сформулировал Гипотеза Фраиссе по порядку вложения и ввел понятие компенсатора в теория посетов.[4]

Большую часть своей карьеры он провел профессором в Университет Прованса в Марсель, Франция.

Избранные публикации

  • Sur quelques классификации систем отношенийзащитил диссертацию, Парижский университет, 1953 г .; опубликовано в Публикации Scientifiques de l'Université d'Alger, серия А 1 (1954), 35–182.
  • Cours de logique mathématique, Париж: Gauthier-Villars Éditeur, 1967; издание второе, 3 т., 1971–1975; тр. на английский и под ред. Дэвид Лувиш как Курс математической логики, 2 тома, Dordrecht: Reidel, 1973–1974.
  • Теория отношений, тр. на английский язык П. Клот, Амстердам: Северная Голландия, 1986; rev. изд. 2000 г.

Рекомендации

  1. ^ Rogics08 - Décès de Roland Fraïssé - Послание Мориса Пузе и Жерара Лопеса, по состоянию на 22 мая 2008 г.
  2. ^ Sur une nouvelle классификации систем отношений, Ролан Фраиссе, Comptes Rendus 230 (1950), 1022–1024.
  3. ^ Sur quelques классификации систем отношений, Ролан Фраисс, диссертация, Париж, 1953; опубликовано в Публикации Scientifiques de l'Université d'Alger, серия А 1 (1954), 35–182.
  4. ^ Petits posets: dénombrement, représentabilité par cercles et compenseurs, Ролан Фраисс и Ник Лигерос Comptes Rendus de l'Académie des Sciences, Серия I 313 (1991), нет. 7, 417–420

внешняя ссылка