Directory
References
Per Lindström
Swedish logician
Learn about this topic in these articles:
contribution to model theory
- In metalogic: Elementary logic
…that enabled the Swedish logician Per Lindström to prove in 1969 a general theorem to the effect that, roughly speaking, within a broad class of possible logics, elementary logic is the only one that satisfies the requirements of axiomatizability and of the Löwenheim-Skolem theorem. Although Lindström’s theorem does not settle…
Read More