Transfering Saturation, The Finite Cover Property, and Stability
Baldwin, John T. ; Grossberg, Rami ; Shelah, Saharon
J. Symbolic Logic, Tome 64 (1999) no. 1, p. 678-684 / Harvested from Project Euclid
$\underline{\text{Saturation is} (\mu, \kappa)-\text{transferable in} T}$ if and only if there is an expansion T$_1$ of T with $\mid T_1 \mid$ = $\mid T \mid$ such that if M is a $\mu$-saturated model of T$_1$ and $\mid M \mid \geq \kappa$ then the reduct M $\mid L(T)$ is $\kappa$-saturated. We characterize theories which are superstable without 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 \mid T \mid, 2^\mu > \mu^+$, stability is equivalent to for all $\mu \geq \mid T \mid$, saturation is ($\mu, 2^\mu$)- transferable.
Publié le : 1999-06-14
Classification: 
@article{1183745801,
     author = {Baldwin, John T. and Grossberg, Rami and Shelah, Saharon},
     title = {Transfering Saturation, The Finite Cover Property, and Stability},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 678-684},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745801}
}
Baldwin, John T.; Grossberg, Rami; Shelah, Saharon. Transfering Saturation, The Finite Cover Property, and Stability. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  678-684. http://gdmltest.u-ga.fr/item/1183745801/