Per "Pelle" Lindström (9 April 1936 – 21 August 2009,
Gothenburg)
[ ASLbr>Newsletter]
September 2009 was a
Swedish
Swedish or ' may refer to:
Anything from or related to Sweden, a country in Northern Europe. Or, specifically:
* Swedish language, a North Germanic language spoken primarily in Sweden and Finland
** Swedish alphabet, the official alphabet used by ...
logician
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
, after whom
Lindström's theorem In mathematical logic, Lindström's theorem (named after Swedish logician Per Lindström, who published it in 1969) states that first-order logic is the '' strongest logic'' (satisfying certain conditions, e.g. closure under classical negation) h ...
and the
Lindström quantifier are named. (He also independently discovered
Ehrenfeucht–Fraïssé game In the mathematical discipline of model theory, the Ehrenfeucht–Fraïssé game (also called back-and-forth games)
is a technique based on game semantics for determining whether two structures
are elementarily equivalent. The main application of ...
s.
) He was one of the key followers of
Lars Svenonius.
Lindström was awarded a PhD from the
University of Gothenburg
The University of Gothenburg ( sv, Göteborgs universitet) is a university in Sweden's second largest city, Gothenburg. Founded in 1891, the university is the third-oldest of the current Swedish universities and with 37,000 students and 6000 st ...
in 1966. His thesis was titled ''Some Results in the Theory of Models of First Order Languages''. A
festschrift
In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the h ...
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.
* ; 2nd ed. published by ASL in 2003,
References
Further reading
*
External links
*
__NOTOC__
1936 births
2009 deaths
Swedish logicians
Swedish mathematicians
{{Europe-mathematician-stub