On atomic or saturated sets

Journal of Symbolic Logic 61 (1):318-333 (1996)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,698

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Flat Morley sequences.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (3):1261-1279.
A model and its subset.Ludomir Newelski - 1992 - Journal of Symbolic Logic 57 (2):644-658.
Stable theories, pseudoplanes and the number of countable models.Anand Pillay - 1989 - Annals of Pure and Applied Logic 43 (2):147-160.
Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
On the strong Martin conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
On minimal structures.Oleg V. Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.
On Minimal Structures.Oleg Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.
Simple groups and the number of countable models.Predrag Tanović - 2013 - Archive for Mathematical Logic 52 (7-8):779-791.
Constructing ω-stable structures: Rank 2 fields.John T. Baldwin & Kitty Holland - 2000 - Journal of Symbolic Logic 65 (1):371-391.

Analytics

Added to PP
2009-01-28

Downloads
40 (#396,080)

6 months
11 (#349,679)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.

Add more citations

References found in this work

Meager forking.Ludomir Newelski - 1994 - Annals of Pure and Applied Logic 70 (2):141-175.
Forking, normalization and canonical bases.Anand Pillay - 1986 - Annals of Pure and Applied Logic 32:61-81.
Fundamentals of Stability Theory.Anand Pillay - 1990 - Studia Logica 49 (4):608-609.

Add more references