TY - JOUR
T1 - A note on extensions of infinitary logic
AU - Shelah, Saharon
AU - Väänänen, Jouko
PY - 2005
Y1 - 2005
N2 - 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 <κ.
AB - 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 <κ.
UR - http://www.scopus.com/inward/record.url?scp=22044440548&partnerID=8YFLogxK
U2 - 10.1007/s00153-004-0212-8
DO - 10.1007/s00153-004-0212-8
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:22044440548
SN - 0933-5846
VL - 44
SP - 63
EP - 69
JO - Archive for Mathematical Logic
JF - Archive for Mathematical Logic
IS - 1
ER -