On the existence of regular types (Q911582)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the existence of regular types |
scientific article |
Statements
On the existence of regular types (English)
0 references
1989
0 references
Suppose that T is superstable and \(M\subseteq N\) are distinct models of \(T^{eq}\). The main results of the paper state the existence of regular types over M which are realized in N (without or with some additional conditions). Their analogs are well known for totally transcendental theories. Using these results the authors obtain tree decompositions of models in superstable theories with NDOP and show the constructibility of a model over its decomposition with respect to a very strong isolation relation.
0 references
prime model
0 references
regular types
0 references
superstable theories
0 references
NDOP
0 references
isolation relation
0 references
0 references
0 references