The spectrum problem. II: Totally transcendental and infinite depth (Q788714): Difference between revisions

In this paper the results of the first part [see the review above] are proved for the class of all models of a totally transcendental theory. In particular the spectrum problem for the uncountable models of a countable \(\omega\)-stable theory is essentially solved. Also an exact computation of the number of \(F^ a_{\aleph_ 0}\)-saturated models (in large enough power) of a shallow superstable theory without the DOP and with infinite depth, is given. Similarly for the models of totally transcendental T. For T totally transcendental, T has NDOP if whenever \(M\prec M_ 1,M_ 2\) are models with \(M_ 1\), \(M_ 2\) independent over M and N is prime over \(M_ 1\cup M_ 2\) then any \(p\in S(M)\) is nonorthogonal to \(M_ 1\) or to \(M_ 2\). An important lemma enabling the theory to work for all the models of totally transcendental T is: if \(M_ 1\prec M_ 2\prec M_ 3\) then there is \(a\in M_ 3-M_ 2\) such that \(tp(a/M_ 2)\) is regular and either orthogonal to \(M_ 1\) or does not fork over \(M_ 1\) (assuming T totally transcendental).