Per Lindström

Per Lindström, known as Pelle (9 April 1936 to 21 August 2009, Gothenburg), was a Swedish logician after whom Lindström's theorem and the Lindström quantifier are named. He also independently discovered Ehrenfeucht-Fraïssé games and was one of the key followers of Lars Svenonius. He was awarded a doctorate by the University of Gothenburg in 1966 with a thesis titled Some Results in the Theory of Models of First Order Languages. His papers include First Order Predicate Logic with Generalized Quantifiers of 1966 and On Extensions of Elementary Logic of 1969, and his book Aspects of Incompleteness was published by Springer in 1997 with a second edition from the Association for Symbolic Logic in 2003. A festschrift for him appeared in 1986.