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)
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.