Per Lindström
Per "Pelle" Lindström was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. He was one of the key followers of Lars Svenonius.
Lindström was awarded a PhD from the University of Gothenburg in 1966. His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift for Lindström was published in 1986.
