Unidimensional theories are superstable (Q749523): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(90)90046-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2051077260 / rank | |||
Normal rank |
Revision as of 22:18, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Unidimensional theories are superstable |
scientific article |
Statements
Unidimensional theories are superstable (English)
0 references
1990
0 references
A first order theory T of power \(\lambda\) is called unidimensional if any two \(\lambda^+\)-saturated models of T of the same sufficiently large cardinality are isomorphic. An equivalent definition: T is unidimensional iff it is stable and any two non-algebraic types are non-orthogonal. S. Shelah asked whether an unidimensional theory is superstable. The author solves the problem in the positive. The theorem is proved by a closer analysis of the non-orthogonality relation. The proof involves an existence theorem and a definability theorem for definable groups in stable theories, and an analysis of their relation to regular types.
0 references
superstable theory
0 references
saturated models
0 references
unidimensional theory
0 references
non- orthogonality
0 references
definability
0 references
definable groups
0 references
stable theories
0 references
regular types
0 references