Per Lindström Explained

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. His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift for Lindström was published in 1986.^[4]

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.
• Book: Per Lindström. Aspects of incompleteness. 1997. Springer-Verlag. 978-3-540-63213-9. ; 2nd ed. published by ASL in 2003,

Further reading

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

Notes and References

1. [Association for Symbolic Logic|ASL]
2. Book: Jacquette, Dale. A companion to philosophical logic. 2005. 1-4051-4575-7. 329.
3. Book: Burr, John Roy. Handbook of world philosophy. 1980. 0-313-22381-5. 186.
4. Book: Logic and abstraction: essays dedicated to Per Lindström on his fiftieth birthday. Per. Lindström. Mats. Furberg . Thomas. Wetterström. Claes. Åberg . 1986. 91-7346-168-7.