Abstract
We show that a strong form of the so called Lindström's Theorem fails to generalize to extensions of L κ ω and L κ κ : For weakly compact κ there is no strongest extension of L κ ω with the (κ,κ)-compactness property and the Löwenheim-Skolem theorem down to κ. With an additional set-theoretic assumption, there is no strongest extension of L κ κ with the (κ,κ)-compactness property and the Löwenheim-Skolem theorem down to <κ.
| Original language | English |
|---|---|
| Pages (from-to) | 63-69 |
| Number of pages | 7 |
| Journal | Archive for Mathematical Logic |
| Volume | 44 |
| Issue number | 1 |
| DOIs | |
| State | Published - 2005 |
Fingerprint
Dive into the research topics of 'A note on extensions of infinitary logic'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver