Par Lindström - Per Lindström
Per "Pelle" Lindström (9 avril 1936 - 21 août 2009, Göteborg ) était un logicien suédois , qui a donné son nom au théorème de Lindström et au quantificateur de Lindström . (Il a également découvert indépendamment les jeux Ehrenfeucht-Fraïssé .) Il était l'un des principaux adeptes de Lars Svenonius .
Lindström a obtenu un doctorat de l' Université de Göteborg en 1966. Sa thèse était intitulée Quelques résultats dans la théorie des modèles de langues du premier ordre . Un festschrift pour Lindström a été publié en 1986.
Sélection de publications
- Per Lindström, Logique de prédicat du premier ordre avec quantificateurs généralisés, Theoria 32, 1966, 186–195.
- Per Lindström, Sur les extensions de logique élémentaire, Theoria 35, 1969, 1–11.
- Per Lindström (1997). Aspects d'incomplétude . Springer-Verlag. ISBN 978-3-540-63213-9 . ; 2e éd. publié par ASL en 2003, ISBN 978-1-56881-173-4
Les références
Lectures complémentaires
- 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 . CS1 maint: paramètre découragé ( lien )
Liens externes