Definitions
Nearby Words

# Lindström's theorem

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 Downward Löwenheim-Skolem property.

### Comparing logics

A logic $mathcal\left\{L\right\}\text{'}$ is said to be as strong as $mathcal\left\{L\right\}$ iff every elementary class in $mathcal\left\{L\right\}$ is elementary class in $mathcal\left\{L\right\}\text{'}$. In symbols $mathcal\left\{L\right\}\text{'}gemathcal\left\{L\right\}$.

## References

• The Blackwell Guide to Philosophical Logic, ed. Lou Goble, Blackwell Publishing Inc., 2001.
• Ebbinghaus, H.-D.; J.Flum, W. Thomas (1994). Mathematical Logic. 2nd Edition,

Search another word or see Lindström theoremon Dictionary | Thesaurus |Spanish