Strongly nonmultidimensional theories (Q804569)

The author defines a stable theory to be strongly \(\kappa\)-dimensional if its types form \(\kappa\) classes with respect to almost-orthogonality. He shows that such a theory is superstable, and it is \(\omega\)-stable when \(\kappa =\omega\). (He points out that strongness plays a role, because there are 2-dimensional theories that are not superstable, and there are countable 1-dimensional, and yet non-\(\omega\)-stable, theories.) The main results are characterization and structure theorems of such theories. For instance, the extendibility of a theory to a strongly \(\kappa\)- dimensional one, by addition of new constants, is related to almost- orthogonality of non-algebraic and regular types. The strong \(\kappa\)- dimensionality of a theory is shown to force a uniform structure by means of parameters on the ``monster model'' \({\mathfrak M}:\) namely, \({\mathfrak M}\) is the algebraic closure of a particular set and \(\kappa\) many non- orthogonal regular types. The paper ends with a number of examples of such theories. The last one also shows that extension to a strongly \(\omega\)-dimensional theory cannot always be achieved by addition of only countably many constants. \{The author's English may not be devoid of irksomeness to a native English speaker. An example: he writes ``every...is not...'' in lieu of ``no...is...''.\}