A Note on Extensions of Infinitary Logic

Simple item page
dc.creatorShelah, Saharon
dc.creatorVäänänen, Jouko
dc.date2000-09-07
dc.date.accessioned2026-07-07T04:37:16Z
dc.date.available2026-07-07T04:37:16Z
dc.descriptionWe show that a strong form of the so called Lindstrom's Theorem fails to generalize to extensions of L_{kappa,omega} and L_{kappa,kappa}: For weakly compact kappa there is no strongest extension of L_{kappa,omega} with the (kappa,kappa)-compactness property and the Lowenheim-Skolem theorem down to kappa. With an additional set-theoretic assumption, there is no strongest extension of L_{kappa,kappa} with the (kappa,kappa)-compactness property and the Lowenheim-Skolem theorem down to <kappa.
dc.identifierhttps://arxiv.org/abs/math/0009080
dc.identifierhttp://arxiv.org/abs/math/0009080
dc.identifierArch. Math. Logic 44 No. 1 (2005) 63--69
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/59892
dc.subjectLogic
dc.titleA Note on Extensions of Infinitary Logic
dc.typetext

Files

Collections

arXiv