ペル・リンドストローム

ペル・「ペレ」・リンドストローム（1936年4月9日 - 2009年8月21日、ヨーテボリ）^{[ 1 ]}はスウェーデンの論理学者で、リンドストロームの定理とリンドストローム量化子は彼の名にちなんで名付けられました。^{[ 2 ]}（彼はまた、独自にエーレンフォイヒト-フレッセゲームを発見しました。^{[ 1 ]} ）彼はラース・スヴェノニウスの主要な追随者の一人でした。^{[ 3 ]}

リンドストロームは1966年にヨーテボリ大学から博士号を授与された。^{[ 4 ]}彼の博士論文のタイトルは「一階言語のモデル理論におけるいくつかの結果」であった。リンドストロームの記念論文集は1986年に出版された。^{[ 5 ]}

• Per Lindström、「一般化量化子を用いた一階述語論理」、Theoria 32、1966、186–195。
• Per Lindström、「初等論理の拡張について」、Theoria 35、1969、1–11。
• リンドストロームによる (1997)。不完全な側面。スプリンガー・フェルラーク。ISBN 978-3-540-63213-9。第2版​​は2003年にASLより出版、ISBN 978-1-56881-173-4

• ヴァナネン、J. ; Westerståhl、D. (2010)。「追悼：リンドストローム氏による」(PDF)。テオーリア。76 (2): 100–107 .土井: 10.1111/j.1755-2567.2010.01069.x。

• 数学系譜プロジェクトのペル・リンドストローム