Isolated types in a weakly minimal set

Abstract

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 nonalqebraic isolated type over A.As an application we proveTheorem 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.