Transfering saturation, the finite cover property, and stability
Journal of Symbolic Logic 64 (2):678-684 (1999)
| Abstract | $\underline{\text{Saturation is} (\mu, \kappa)-\text{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 μ-saturated model of T 1 and ∣ M ∣ ≥ κ then the reduct M ∣ L(T) is κ-saturated. We characterize theories which are superstable without f.c.p., or without f.c.p. as, respectively those where saturation is (ℵ 0 , λ)- transferable or (κ (T), λ)-transferable for all λ. Further if for some $\mu \geq \mid T \mid, 2^\mu > \mu^+$ , stability is equivalent to for all μ ≥ ∣ T ∣, saturation is (μ, 2 μ )- transferable | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRenling Jin (1992). A Theorem on the Isomorphism Property. Journal of Symbolic Logic 57 (3):1011-1017.
Saharon Shelah (1981). On Saturation for a Predicate. Notre Dame Journal of Formal Logic 22 (3):239-248.
Pat Rogers (1981). Preservation of Saturation and Stability in a Variety of Nilpotent Groups. Journal of Symbolic Logic 46 (3):499-512.
Del Ratzsch (2005). Saturation, World Ensembles, and Design. Faith and Philosophy 22 (5):667-686.
Jiří Rosický (1997). Accessible Categories, Saturation and Categoricity. Journal of Symbolic Logic 62 (3):891-901.
Fredrik Engström (2004). Expansions, Omitting Types, and Standard Systems. Dissertation, Chalmers
Stuart T. Smith (1987). Nonstandard Characterizations of Recursive Saturation and Resplendency. Journal of Symbolic Logic 52 (3):842-863.
H. Jerome Keisler & James H. Schmerl (1991). Making the Hyperreal Line Both Saturated and Complete. Journal of Symbolic Logic 56 (3):1016-1025.
J. F. Pabion (1982). Saturated Models of Peano Arithmetic. Journal of Symbolic Logic 47 (3):625-637.
Jörg Flum & Martin Ziegler (1999). Pseudo-Finite Homogeneïty and Saturation. Journal of Symbolic Logic 64 (4):1689-1699.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,982 of 549,224 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
