Lindström's theorem
From Wikipedia, the free encyclopedia
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] Comparing logics
A logic 
is said to be as strong as 
iff every elementary calss in is elementary class in . In symbols 
.
[edit] References
- The Blackwell Guide to Philosophical Logic, ed. Lou Goble, Blackwell Publishing Inc., 2001.
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
