Transferring saturation, the finite cover property, and stability

dc.creatorBaldwin, J.
dc.creatorGrossberg, R.
dc.creatorShelah, Saharon
dc.date1995-11-30
dc.date1998-07-09
dc.date.accessioned2026-07-07T09:04:43Z
dc.date.available2026-07-07T09:04:43Z
dc.descriptionSaturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We characterize theories which are superstable without the finite cover property (f.c.p.), or without f.c.p. as, respectively those where saturation is (aleph_0,lambda)-transferable or (kappa(T),lambda)-transferable for all lambda. Further if for some mu \geq |T|, 2^mu > mu^+, stability is equivalent to: or all mu \geq |T|, saturation is (μ,2^mu)-transferable.
dc.descriptionThis version replaces the 1995 submission: Characterization of the finite cover property and stability. This version submitted by John T. Baldwin. The paper has been accepted for the Journal of Symbolic Logic
dc.identifierhttps://arxiv.org/abs/math/9511205
dc.identifierhttp://arxiv.org/abs/math/9511205
dc.identifierJ. Symbolic Logic 64 No. 2 (1999) 678--684
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/149481
dc.subjectLogic
dc.titleTransferring saturation, the finite cover property, and stability
dc.typetext

Files

Collections