Per "Pelle" Lindström (9 April 1936 – 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.) 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.
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
- ^ ASL Newsletter, September 2009
- Jacquette, Dale (2005). A companion to philosophical logic. p. 329. ISBN 1-4051-4575-7.
- Burr, John Roy (1980). Handbook of world philosophy. p. 186. ISBN 0-313-22381-5.
- Per Lindström at the Mathematics Genealogy Project
- 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
 | This article about a European mathematician is a stub. You can help Misplaced Pages by expanding it. |