Per Lindström
Per Lindström (born April 9, 1936 - August 21, 2009 in Gothenburg ) was a Swedish logician. He is the namesake for Lindström's theorems , which distinguish first-order predicate logic from all other logical systems.
Lindström taught at the Philosophical Faculty of the University of Gothenburg , initially as a lecturer, from 1991 as a professor of logic . In 2001 he retired.
Publications (selection)
- Some results in the theory of models of first order languages. Gothenburg 1966.
- Omitting uncountable types and extensions of elementary logic. Dep. of philosophy (Inst. for filosofi), Univ., Göteborg 1978.
- On faithful interpretability. Inst. For filosofi, Göteborgs univ., Göteborg 1980.
- Aspects of incompleteness. Springer, Berlin 1997, ISBN 3-540-63213-1 .
Web links
- In Memoriam: Per Lindström (PDF file; 107 kB) at math.helsinki.fi (English)
personal data | |
---|---|
SURNAME | Lindström, Per |
BRIEF DESCRIPTION | Swedish logician |
DATE OF BIRTH | April 9, 1936 |
DATE OF DEATH | August 21, 2009 |
Place of death | Gothenburg |