Journal of Symbolic Logic 52 (2):543-547 (1987)
AbstractTheorem A. Let T be a small superstable theory, A a finite set, and ψ a weakly minimal formula over A which is contained in some nontrivial type which does not have Morley rank. Then ψ is contained in some nonalgebraic isolated type over A. As an application we prove Theorem B. Suppose that T is small and superstable, A is finite, and there is a nontrivial weakly minimal type p ∈ S(A) which does not have Morley rank. Then the prime model over A is not minimal over A
Added to PP
Historical graph of downloads
Citations of this work
Vaught’s Conjecture for Superstable Theories of Finite Rank.Steven Buechler - 2008 - Annals of Pure and Applied Logic 155 (3):135-172.
Non-Totally Transcendental Unidimensional Theories.Anand Pillay & Philipp Rothmaler - 1990 - Archive for Mathematical Logic 30 (2):93-111.
Similar books and articles
The Geometry of Weakly Minimal Types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
Weakly o-Minimal Structures and Some of Their Properties.B. Sh Kulpeshov - 1998 - Journal of Symbolic Logic 63 (4):1511-1528.
The Classification of Small Weakly Minimal Sets. III: Modules.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (3):975-979.
Expansion of a Model of a Weakly o-Minimal Theory by a Family of Unary Predicates.Bektur Sembiuly Baizhanov - 2001 - Journal of Symbolic Logic 66 (3):1382-1414.
Pseudoprojective Strongly Minimal Sets Are Locally Projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
T-Height in Weakly O-Minimal Structures.James Tyne - 2006 - Journal of Symbolic Logic 71 (3):747 - 762.
The Classification of Small Weakly Minimal Sets. II.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (2):625-635.