Lindström's theorem

From Wikipedia, the free encyclopedia

You have new messages (last change).
There are very few or no other articles that link to this one.
Please help introduce links in articles on related topics. After links have been created, remove this message.
This article has been tagged since November 2006.

In mathematical logic, Lindström's theorem states that first-order logic is the strongest logic (satisfying certain conditions, e.g. closure under classical negation) having both the compactness property and the Löwenheim-Skolem property.

[edit] References

  • The Blackwell Guide to Philosophical Logic, ed. Lou Goble, Blackwell Publishing Inc., 2001.
 This mathematics-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../l/i/n/Lindstr%C3%B6m%27s_theorem.html"