Graduate studies at Western
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)|
|Through your library||Configure|
Similar books and articles
Masanori Itai (1991). On the Strong Martin Conjecture. Journal of Symbolic Logic 56 (3):862-875.
Saharon Shelah (1979). On Uniqueness of Prime Models. Journal of Symbolic Logic 44 (2):215-220.
Ludomir Newelski (1992). A Model and its Subset. Journal of Symbolic Logic 57 (2):644-658.
James Loveys & Predrag Tanović (1996). Countable Models of Trivial Theories Which Admit Finite Coding. Journal of Symbolic Logic 61 (4):1279-1286.
Ludomir Newelski (1999). Geometry of *-Finite Types. Journal of Symbolic Logic 64 (4):1375-1395.
Steven Buechler (1988). The Classification of Small Weakly Minimal Sets. II. Journal of Symbolic Logic 53 (2):625-635.
Anand Pillay (1984). Regular Types in Nonmultidimensional Ω-Stable Theories. Journal of Symbolic Logic 49 (3):880-891.
Steven Buechler (1984). Expansions of Models of Ω-Stable Theories. Journal of Symbolic Logic 49 (2):470-477.
John T. Baldwin & Kitty Holland (2000). Constructing Ω-Stable Structures: Rank 2 Fields. Journal of Symbolic Logic 65 (1):371-391.
Benoît Mariou (2001). Modèles Saturés Et Modèles Engendrés Par Des Indiscernables. Journal of Symbolic Logic 66 (1):325-348.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?