Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Roland Fraisse
English Wikipedia - The Free Encyclopedia
Download this dictionary
Roland Fraïssé
Roland Fraïssé
(; 12 March 1920 – 30 March 2008) was a French
mathematical logician
. He received his doctoral degree from the
University of Paris
in 1953. In his thesis, Fraïssé used the
back-and-forth method
to determine whether two
model-theoretic
structures
were
elementarily equivalent
. This method of determining elementary equivalence was later formulated as the
Ehrenfeucht–Fraïssé game
. Fraïssé worked primarily in
relation theory
. Another of his important works was the
Fraïssé construction
of a Fraïssé limit of finite structures. He also introduced the notion of compensor in the
theory of posets
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License