pith. sign in

arxiv: math/9511205 · v3 · submitted 1995-11-30 · 🧮 math.LO

Transferring saturation, the finite cover property, and stability

classification 🧮 math.LO
keywords saturationtransferablekappalambdacoverfinitepropertystability
0
0 comments X
read the original abstract

Saturation 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 (\mu,2^mu)-transferable.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.