Andrzej Ehrenfeucht

Andrzej Ehrenfeucht

Andrzej Ehrenfeucht is a Polish-American mathematician. He formulated the Ehrenfeucht-Fraïssé game, using the back-and-forth method given by Roland Fraïssé in his thesis.

Ehrenfeucht married Alfred Tarski's daughter. Ehrenfeucht is currently teaching at the University of Colorado


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Andrzej Ehrenfeucht — (* 8. August 1932 in Vilnius) ist ein polnisch US amerikanischer Mathematiker und Informatiker (Mathematische Logik, Bioinformatik). Inhaltsverzeichnis 1 Leben und Werk 2 Schriften 3 Literatur …   Deutsch Wikipedia

  • Ehrenfeucht-Fraisse Spiel — Ehrenfeucht Fraïssé Spiele (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als… …   Deutsch Wikipedia

  • Ehrenfeucht-Fraïssé-Spiel — Ehrenfeucht Fraïssé Spiele (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als… …   Deutsch Wikipedia

  • Ehrenfeucht-Fraïssé-Spiele — (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als Formalismus zur Beschreibung von… …   Deutsch Wikipedia

  • Ehrenfeucht–Fraïssé game — In the mathematical discipline of model theory, the Ehrenfeucht Fraïssé game is a technique for determining whether two structures are elementarily equivalent. The main application of Ehrenfeucht Fraïssé games is in proving the inexpressibility… …   Wikipedia

  • Andrzej Mostowski — (* 1. November 1913 in Lwów (Lemberg); † 22. August 1975 in Vancouver) war ein polnischer Mathematiker und Logiker. Inhaltsverzeichnis 1 Wirken 2 Werke (Auswahl Englischsprachiger Titel) …   Deutsch Wikipedia

  • Ajtai-Fagin-Spiele — Ehrenfeucht Fraïssé Spiele (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als… …   Deutsch Wikipedia

  • EF-Spiel — Ehrenfeucht Fraïssé Spiele (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als… …   Deutsch Wikipedia

  • EF-Spiele — Ehrenfeucht Fraïssé Spiele (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als… …   Deutsch Wikipedia

  • Lemme de l'étoile — En théorie des langages, le lemme de l étoile (ou encore lemme d itération, lemme de pompage, lemme de la pompe, pumping lemma en anglais) énonce une propriété typique de tout langage rationnel. Informellement, il stipule que tout mot… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”