Per Lindström

Per Lindström (* April 9, 1936; † August 21, 2009 in Gothenburg ) was a Swedish logician. He is the namesake for the sets of Lindström that characterize the first-order predicate logic over all other logical systems.

Lindström taught at the Faculty of Philosophy of the University of Gothenburg, first as a lecturer, from 1991 as professor of logic. In 2001, he went into retirement.

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., Gothenburg 1978.
  • On faithful interpreter ability. Inst for filosofi, Göteborgs univ, Gothenburg 1980.
  • Aspects of incompleteness. Springer, Berlin 1997, ISBN 3-540-63213-1.
Integrated Authority File
642756
de