1 ABSTRACT By generalizing to model theory notions connected with dimension, it is shown that certain theories categorical in uncountable powers have countably many de-numerable isomorphism types which are arranged in an ω + 1 sequence under the ordering of the possibility of elementary imbedding. It is also shown that any countable elementary extension of a denumerable saturated model of a the...