[
return to viewing 'Lindstr\"om's theorem'
]
| diff |
2005-04-14 19:27:00
- revision [
Version 4 -->
(current)
]
by
mathcam
| Changes for correction #6178 ('quote marks should look like ``this'', because ``this" doesn't work with latex2html'). |
|
| diff |
2003-08-14 05:41:59
- revision [
Version 1 --> Version 2
]
by
Aatu
| Writing the IF-logic entry, I noticed that there was an omission here. Lindstrom's theorem requires that the logic be closed under contradictory negation; if it's not, it can be both compact and have the Lowenheim-Skolem theorem while being stronger than first order logic. |
|
| 
