Journal of Symbolic Logic 61 (1):318-333 (1996)
Abstract |
Assume T is stable, small and Φ(x) is a formula of L(T). We study the impact on $T\lceil\Phi$ of naming finitely many elements of a model of T. We consider the cases of $T\lceil\Phi$ which is ω-stable or superstable of finite rank. In these cases we prove that if T has $ countable models and Q = Φ(M) is countable and atomic or saturated, then any good type in S(Q) is τ-stable. If $T\lceil\Phi$ is ω-stable and (bounded, 1-based or of finite rank) with $I(T, \aleph_0) , then we prove that every good p ∈ S(Q) is τ-stable for any countable Q. The proofs of these results lead to several new properties of small stable theories, particularly of types of finite weight in such theories
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/2275614 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Forking, Normalization and Canonical Bases.Anand Pillay - 1986 - Annals of Pure and Applied Logic 32:61-81.
Citations of this work BETA
Non-Isolated Types in Stable Theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
Similar books and articles
Constructing Ω-Stable Structures: Rank 2 Fields.John T. Baldwin & Kitty Holland - 2000 - Journal of Symbolic Logic 65 (1):371-391.
Expansions of Models of Ω-Stable Theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
Regular Types in Nonmultidimensional Ω-Stable Theories.Anand Pillay - 1984 - Journal of Symbolic Logic 49 (3):880-891.
The Classification of Small Weakly Minimal Sets. II.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (2):625-635.
Countable Models of Trivial Theories Which Admit Finite Coding.James Loveys & Predrag Tanović - 1996 - Journal of Symbolic Logic 61 (4):1279-1286.
Modèles Saturés Et Modèles Engendrés Par Des Indiscernables.Benoît Mariou - 2001 - Journal of Symbolic Logic 66 (1):325-348.
Analytics
Added to PP index
2009-01-28
Total views
27 ( #423,198 of 2,506,527 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,527 )
2009-01-28
Total views
27 ( #423,198 of 2,506,527 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,527 )
How can I increase my downloads?
Downloads