Strongly nonmultidimensional theories (Q804569)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strongly nonmultidimensional theories |
scientific article |
Statements
Strongly nonmultidimensional theories (English)
0 references
1991
0 references
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...''.\}
0 references
stable theory
0 references
almost-orthogonality
0 references
uniform structure
0 references
monster model
0 references