Ролан Фрейссе

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

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

Жизнь

Фрэссе получил докторскую степень в Парижском университете в 1953 году. В своей диссертации Фрэссе использовал обратный метод , чтобы определить, ли две теоретико-модельные структуры являются элементарно эквивалентными . Этот метод определения элементарной эквивалентности позже был сформулирован как игра Эренфойхта–Фрессе .

Фрэссе работал в основном в области теории отношений . Другой из его важных работ была конструкция Фрэссе предела Фрэссе конечных структур.

Он также сформулировал гипотезу Фрэссе о вложениях порядков и ввел понятие компензора в теорию частично упорядоченных множеств .

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

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

• О некоторых классификациях систем отношений , диссертация, Парижский университет, 1953; опубликовано в «Научных публикациях Алжирского университета» , серия А 1 (1954), 35–182.
• Курс математической логики , Париж: Gauthier-Villars Éditeur, 1967; второе издание, 3 тома, 1971–1975 гг.; тр. на английский язык и изд. Дэвида Лувиша как Курс математической логики , 2 тома, Дордрехт: Рейдель, 1973–1974.
• Теория отношений , Тр. на английский П. Клот, Амстердам: Северная Голландия, 1986; обр. ред. 2000.