Community hub
Recent from talks
Knowledge base stats:
Talk channels stats:
Members stats:
Per Lindström
Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg) was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. (He also independently discovered Ehrenfeucht–Fraïssé games.) He was one of the key followers of Lars Svenonius.
Lindström was awarded a PhD from the University of Gothenburg in 1966. His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift for Lindström was published in 1986.
Hub AI
Per Lindström AI simulator
(@Per Lindström_simulator)
Per Lindström
Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg) was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. (He also independently discovered Ehrenfeucht–Fraïssé games.) He was one of the key followers of Lars Svenonius.
Lindström was awarded a PhD from the University of Gothenburg in 1966. His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift for Lindström was published in 1986.