About: Roland Fraïssé

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Roland Fraïssé Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFrenchPhilosophers, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type:

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FRoland_Fraïssé&invfp=IFP_OFF&sas=SAME_AS_OFF

Roland Fraïssé (French: [ʁɔlɑ̃ fʁajse]; 12 March 1920 – 30 March 2008) was a French mathematical logician. Fraïssé 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 formulated Fraïssé's conjecture on order embeddings, and introduced the notion of compensor in the theory of posets.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species schema:Person yago:WikicatLogicians yago:WikicatMathematicalLogicians yago:WikicatModelTheorists Scientist yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Theorist110706812 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians yago:Wikicat21st-centuryMathematicians yago:WikicatFrenchLogicians yago:WikicatFrenchMathematicians yago:WikicatFrenchPeople yago:WikicatFrenchPhilosophers
rdfs:label	Roland Fraïssé (de) Roland Fraïssé (fr) Roland Fraïssé (en) Roland Fraïssé (pt)
rdfs:comment	Roland Fraïssé est un mathématicien (logicien) français, né le 12 mars 1920 à Bressuire (Deux-Sèvres) et mort le 30 mars 2008 dans le 8e arrondissement de Marseille. (fr) Roland Fraïssé (* 3. Dezember 1920; † 30. März 2008 in Marseille) war ein französischer mathematischer Logiker, der sich mit der Theorie der Relationen und Modelltheorie beschäftigte. Fraïssé wurde 1950 an der Universität Paris promoviert mit einer Arbeit, in der bereits Grundlagen für die von Andrzej Ehrenfeucht später weiterentwickelte Methode der Ehrenfeucht-Fraïssé-Spiele in der Modelltheorie gelegt wurden. Er war Professor an der Universität Lyon und ab 1991 an der Universität Marseille. (de) Roland Fraïssé (French: [ʁɔlɑ̃ fʁajse]; 12 March 1920 – 30 March 2008) was a French mathematical logician. Fraïssé 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 formulated Fraïssé's conjecture on order embeddings, and introduced the notion of compensor in the theory of posets. (en) Roland Fraïssé (francês: [ʁɔlɑ̃ fʁajse]; Bressuire, 12 de março de 1920 – Marselha, 30 de março de 2008) foi um lógico matemático francês. Fraïssé obteve um doutorado na Universidade de Paris em 1953. Em sua tese, Fraïssé usou o método do vai-e-vem (back-and-forth method) para determinar se duas estruturas de modelos teóricos são equivalentes elementares. Este método de determinar equivalência elementar foi depois formulado como jogo de Ehrenfeucht–Fraïssé. Fraïssé trabalhou primariamente com teoria das relações. Outro de seu trabalhos fundamentais foi a de um limite de Fraïssé de estruturas finitas. Ele também formulou a conjectura de Fraïssé sobre o embutimentos de ordem, e introduziu a noção de compensador em conjuntos parcialmente ordenados. (pt)
foaf:name	Roland Fraïssé (en)
name	Roland Fraïssé (en)
birth place	Bressuire
death place	Marseille
death place	Marseille, France (en)
death date	2008-03-30 (xsd:date)
birth place	Bressuire, France (en)
birth date	1920-03-12 (xsd:date)
dcterms:subject	2008 deaths University of Paris alumni 1920 births Mathematical logicians 21st-century French mathematicians University of Provence faculty 20th-century French male writers 20th-century French philosophers French male non-fiction writers French logicians Model theorists 20th-century French mathematicians
Wikipage page ID	4234672 (xsd:integer)
Wikipage revision ID	1124695710 (xsd:integer)
Link from a Wikipage to another Wikipage	Model theory Bressuire René de Possel University of Paris University of Provence Elementarily equivalent 2008 deaths University of Paris alumni Mathematical logic Fraïssé limit Structure (mathematical logic) 1920 births Mathematical logicians 21st-century French mathematicians University of Provence faculty Partially ordered set Fraïssé's conjecture Back-and-forth method 20th-century French male writers 20th-century French philosophers French male non-fiction writers French logicians Model theorists 20th-century French mathematicians Ehrenfeucht–Fraïssé game Marseille Theory of relations
sameAs	Roland Fraïssé Roland Fraïssé Roland Fraïssé

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software