Facts
Citation
URLhttps://en.wikipedia.org/wiki/Lindstr%C3%B6m%27s_theorem
Sources
Lindstrom's theorem, Wikipedia
Lead sectionQuote, Lead section
In mathematical logic, Lindström's theorem (named after Swedish logician Per Lindström, who published it in 1969) states that first-order logic is the strongest logic (satisfying certain conditions, e.g. closure under classical negation) having both the (countable) compactness property and the (downward) Löwenheim-Skolem property.
Claims Backed By This Source (9 claims)
This source backs 9 claims across the atlas. As facts: 4 well-attested. As cited relationships: 3 holds. Plus 2 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Theorems, 8 claims: 3 well-attested, 3 holds, 2 general references.
- Sources, 1 claims: 1 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.