On the existence of regular types (Q911582)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4142021
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the existence of regular types |
scientific article; zbMATH DE number 4142021 |
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
0.7928252220153809
0 references
0.7383543848991394
0 references
0.7378937602043152
0 references
0.7371975779533386
0 references
0.7332718968391418
0 references
