imported>Williwilli: Klammern korrigiert | Klammerfehler - Helfer gesucht

2014-04-13T19:29:06Z

Klammern korrigiert | Klammerfehler - Helfer gesucht

Neue Seite

'''Per Lindström''' (* [[9. April]] [[1936]]; † [[21. August]] [[2009]] in [[Göteborg]]) war ein schwedischer Logiker. Er ist der Namensgeber für die [[Sätze von Lindström]], welche die [[Prädikatenlogik erster Stufe]] gegenüber allen anderen logischen Systemen auszeichnen.

Lindström lehrte an der Philosophischen Fakultät der [[Universität Göteborg]], zunächst als Dozent, ab 1991 als Professor der [[Logik]]. 2001 ging er in den Ruhestand.

== Veröffentlichungen (Auswahl)==
* ''Some results in the theory of models of first order languages.'' Göteborg 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.

== Weblinks ==
* [http://www.math.helsinki.fi/logic/opetus/lt/Pelle.pdf In Memoriam: Per Lindström] (PDF-Datei; 107 kB) auf math.helsinki.fi (englisch)

{{Normdaten|TYP=p|GND=115434836|LCCN=n/86/90404|VIAF=40107897}}

{{SORTIERUNG:Lindstrom, Per}}
[[Kategorie:Logiker]]
[[Kategorie:Hochschullehrer (Universität Göteborg)]]
[[Kategorie:Schwede]]
[[Kategorie:Geboren 1936]]
[[Kategorie:Gestorben 2009]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Lindström, Per
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=schwedischer Logiker
|GEBURTSDATUM=9. April 1936
|GEBURTSORT=
|STERBEDATUM=21. August 2009
|STERBEORT=[[Göteborg]]
}}

Per Lindström - Versionsgeschichte

imported>Williwilli: Klammern korrigiert | Klammerfehler - Helfer gesucht