Per Lindström

Per Lindström is a Swedish logician, for whom the Lindström Theorem is named.

According to an abstract of a 2007 paper, “Lindstrom theorems for fragments of first-order logic,”

Lindstrom theorems characterize logics in terms of model-theoretic conditions such as Compactness and the Lowenheim-Skolem property. Most existing Lindstrom theorems concern extensions of first-order logic. On the other hand, many logics relevant to computer science are fragments or extensions of fragments of first-order logic, e.g., k-variable logics and various modal logics. Finding Lindstrom theorems for these languages can be challenging, as most known techniques rely on coding arguments that seem to require the full expressive power of first-order logic.

Some links:

http://www.twenga.co.uk/book/aspects-of-incompleteness-lecture-notes_3700031.html

Other Per Lindströms

There is a neuroscientist named Per Lindström.

Comments

Feel free to leave a comment. A general wikidot.com log-in will be required, but you don't have to be a member of the Echolocation wiki. You may wish to read recent comments too (two at this point, including one from me).

Add a New Comment
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License