Per Lindström
Swedish logician (1936–2009) / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Per Lindström?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg)[1] was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named.[2] (He also independently discovered Ehrenfeucht–Fraïssé games.[1]) He was one of the key followers of Lars Svenonius.[3]
Lindström was awarded a PhD from the University of Gothenburg in 1966.[4] His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift for Lindström was published in 1986.[5]