In this paper we establish the following theorems. THEOREM A. Let T be a complete first-order theory which is uncountable. Then: (i) I(|T|, T) ≥ ℵ 0 . (ii) If T is not unidimensional, then for any λ ≥ |T|, I (λ, T) ≥ ℵ 0 . THEOREM B. Let T be superstable, not totally transcendental and nonmultidimensional. Let θ(x) be a formula of least R ∞ rank which does not have Morley rank, and let p be any stationary completion (...) of θ which also fails to have Morley rank. Then p is regular and locally modular. (shrink)

Let T be an uncountable, superstable theory. In this paper we prove Theorem A. If T has finite rank, then I(|T|, T) ≥ ℵ0. Theorem B. If T is trivial, then I(|T|, T) ≥ ℵ0.

A countable unidimensional theory without the omitting types order property (OTOP) has prime models over pairs and is hence classifiable. We show that this is not true for uncountable unidimensional theories.