Per Lindström

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]

Selected publications

• Per Lindström, First Order Predicate Logic with Generalized Quantifiers, Theoria 32, 1966, 186–195.
• Per Lindström, On Extensions of Elementary Logic, Theoria 35, 1969, 1–11.
• Per Lindström (1997). Aspects of incompleteness. Springer-Verlag. ISBN 978-3-540-63213-9.; 2nd ed. published by ASL in 2003, ISBN 978-1-56881-173-4

References

1. ASL Newsletter, September 2009
2. Jacquette, Dale (2005). A companion to philosophical logic. p. 329. ISBN 1-4051-4575-7.
3. Burr, John Roy (1980). Handbook of world philosophy. p. 186. ISBN 0-313-22381-5.
4. Per Lindström at the Mathematics Genealogy Project
5. Lindström, Per; Furberg, Mats; Wetterström, Thomas; Åberg, Claes (1986). Logic and abstraction: essays dedicated to Per Lindström on his fiftieth birthday. ISBN 91-7346-168-7.

Further reading

• Väänänen, J.; Westerståhl, D. (2010). "In Memoriam: Per Lindström" (PDF). Theoria. 76 (2): 100–107. doi:10.1111/j.1755-2567.2010.01069.x.

External links

• Per Lindström at the Mathematics Genealogy Project