This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
) 0, is an Fio-prime model over N , U N for some V E I - u ,v - E U , v # p (and = a,),and for every such v there is such 7, (iii) qo, is F;Io-primeover N u -6°F. (iv) if ~ E I V~ E,I are as in (ii) then for any sequence 7 , q A 7 ~ I l ~ v A 7 E and I , if ~ - F ( ~ ) E I thenIV&,) ~, is Fio-prime over Nv-T-(t) U N&r and {N,-.T-(t), is independent over N,,,,.
q>
q
qer}
~
~
CH.
X, $51
DEEP THEORIES HAVE NON-ISOMORPHIC MODELS
537
MAIN LEMMA 5.11 : Suppose for 1 = 1 , 2 , (fl,,i$; 7 € 4 ) is a standard representation of i&, and F is an elementary embedding of Ml into 4. Let 4 be as in 5.8. Then there is a function h from 4 into 4 such that : (i) h is one-to-one h(( )) = ( ) and: rE,p * h(7)E2h(p); ~ f i , ~ ,is a countable subset of VIEl,s : / ~ a, countable subset of h(q)/E,, (ii) for ~ E I ;F(&),p&) , are not orthogonal, (iii) DP(Pi/El)= DP(P~(q)/E2)~ (iv) i f yO€Il,~ ] , E v , c q0/-&, vo uncountable disjoint to sioIEI,for ~ E weVhave ~ Z,,-C,E~, tp(d,“C,^ai,?-) is the same (for all ~ E V and for some a,[7 h(u,) €Il A pin(.,) is parallel tp(d,, 4)] then for all but finitely many ~ E V h(7) ~ , 4 h(7 -(a,)). (v) If F is onto 4,h is onto 4, and (iv) holds for h-’,4, Il too.
Proof. Note that by 5.9, V, 1.16 (and as the representations are standard) : (1) dim(pk, = 17/41 for 7 €4. First note that for any ~ E I : dim(pi,Ml) , 2 N, (as the representation is standard). Hence dim(F(p:),&&)2 dim(F(p:), F(Ml))= dim(p:,Ml) 2 dim(p:,Ml) 2 N,. Hence by 5.9 for some v = v,~Il,F(pi),p.:~ are not orthogonal. is unique and depends on Clearly, v, is not unique, but v,/& 7/E1 only, and (2) 17/41 = dim(pi,M,) G dim(F(P:),m = dim(p,p&) = Iv,/E,I. We shall now define hvlE,= h ( v / E l ): q/El +. v,/El for each Elequivalence class separately.
r
Class I. If Dp(pvIE,)= 0, hTIElis any one-to-one function from VIE, into v,/E,. Class 11. Dp(p:/,,) > 0. By 7.2, piE,is trivial, and also P:,,/,~is trivial by 7.3(4). Let b, = bilElG Ni- be such that prlIE,does not fork over 6ilEl, pilEl 6ilE,is stationary. Let 6tlE,E N :,lE2 be such that pf7/B,does not fork over 6:lE2, pf71E, 6;lE,is stationary. 4 is Fin-atomicover So there is a finite Now F(&~)E&, u = u,,~,E 4, V - E U , u, closed under initial segments and tp,(F(6i), -I tp(l”;6:), Hence tp(F(bi),U v E I 2 Nis~ Fgo-isolated ) N G 4,4Finovel*uvEu,q.So there is N, Fin-primaryover
r
dVEu x)
r
byE12x).
UvEI2x. u,,, x,
~ )
538
CLASSIFICATION FOR
F&-SATURATED MODELS
uvEIzx
[CH.
X, $5
q/El
primary over U N and F(6;)E N . Let q = be a maximal set of sequences from A$ realizing independent over 6 :. By V, 1.16 it is countable. Easily q U {a;:p E r]/El}is a maximal set of sequences from Ml realizing pilE, 6 : independent over 6.; As dim(F(p,’),F(6;),N) = KO,there is a countable subset s ; / ~ ,E q/&, s.t. {F(a:):p E q/E, -s;} is independent over (N,F(6$?,)). Also {q: v E v,/ E,, v 4 u, hence tp(a,,N) does not fork over (8-)} is a maximal subset of 4 of sequences realizing independknt over (N,N,-). Also s,blEz= { v : v E v,/E,, avEN) is countable. Now as p i , p,2 are ‘trivial, the relation “ {F(@;), @} depends on 5; U 6;” for r]/Elv E vt/E2-~,b/~,, defines a one-to-one function from { p :p E r]/El -s;} into {v: v E v , / E ~ -s:}. Choose s ~ / E,~,2/,~ s.t. s;/E, 5 s ; ! ~ ,5 7/E2, s ; / ~E , s % /E ~, Js;/~,I = (s;/~,I = do, and the function maps r]/El-s: onto v,/E,-s;. We define h, on r]/El-s: according to the function mentioned above and h, rs: as any one-to-one function from s; into st. If F is onto A& there is no problem making be onto v,/E,. Now let us check that the demands on h are satisfied. Demand (i).Holds by its definition (and h/El :Ii/El+I:/& is one-toE , )pairwise orthogonal). one as the types ptlE, ( ~ ] / E , E I ~ /are
r4,
r
GE
v,/&,
Demand (ii). Trivially, by the choice of h. Demand (iii). As p~IEI,p&,)IEp are regular, not orthogonal, by 4.4(6). Demand (iv). So suppose r ] , ~ I ri ,] , ~ v G , qo/E,,‘von s ; / ~=~9, vo uncountable, for r]~w~,a,, c d,,- E , E ~ tp(a,nd,AC,,q-) , = q (i.e. does not depend on r] E wo),tp(d,, ct) is stationary regular and parallel Let v1 = h”(vo). to some pi-(=,), by renaming w.1.o.g. to We have to show that for all but finitely many q € v o , h(r])4 h(r]^(O)), i.e. (see 5.10) F ( P & ( ~ is ) ) orthogonal to p i when h(r])R P. Now we proceed as in the definition of h. We choose 6 * ~ q such that for r] E vo, tp(G,nd,-c,,6*
u a,) I-
tp(@,-d,-E,,N,-
u a,)
(possible as q exists). , can be achieved by Now we would like to have F ( ~ * ) E Nthis increasing uBoIEI, to uiolElpreserving its finiteness. This, naturally, costs us the omission of a finite number of members of wo,vl:
CH.
X, $51 DEEP
THEORIES HAVE NON-ISOMORPHIC
MODELS
539
I U C ~ / E , - U ~ ~ / E , I by 5.10 we finish (note that tp(Z7,c7) ( 7 E v o ) are pairwise orthogonal).
Demand (v). The same reasons for the existence (and uniqueness) of +A/&, show that it is onto. h/E, : In order to get demand (iv) for h-’, note that if we allow KO exceptions, the proof of (iv) dualizes. For the finite version note that the proof of demand (iv) for h-’ needs only that s:,st are large enough in order to guarantee the existence of the “dual” of NVlE,.
COROLLARY 5.12 : Under the assumption of 5.11, the function h there satisfies : (1) For some large (seeDefinition 5.8(3))subset J1of 4, h J1satisJies: it is (a one-to-one function from J1 into 4) preserving for 7 , P E J l , 7 4 P e h ( 7 ) 4 h(P). (*) (2) If in addition F i s onto 4,for some large subsets J1,J, of 11,4, respectively, h r J1 is a one-to-one function from J1 onto J, satisfying (*) (and even h-’ satisJies the parallel demand). (3) For any given cardinal p, h maps If” = { ~ EIr]/E,I I ’ : p } into I:’= {vEA:Iv/&;I 2 p}. If in addition x is regular > K O , (EIf”}/ < x, then for some ( <X)-large subset If*X of I f P , h I’;.X satisjies (*). (4) If F is onto 4,h maps If”onto I:”, and for x as above w.1.o.g. maps I’;*Xonto a (<x)-large subset of I:”.
r
r
5.13 Proof of 5.1. So K, 2 A(T),8, > N,. By 5.7 (and 4.5) there is a representation a:: 7 EIO) where I’ = ,’Ka,q,, is well defined. By 4.6, w.1.o.g. qo does not fork over 9. As we want F;;saturated models, by our system of notation (which is not convenient in this case) we have to increase I0 to take ~ such care of this. So we can find J,Ic J, and N7,a, for r ] J--Io that: (1) (A$ a,, : 7 E J) is a representation, (2) for each 7 E J,q/E, -I has cardinality K, exactly, (3) each regular ~ E S ” ’ ( N , , ) J, , ~ is E not orthogonal to some pry,>. For each 6 < N, choose 4 such that (a) c 1, (b) if v 4 - { ( 6 ) , ( >>,then 7 1 4 c 4,
(q,
540
CLASSIFICATION FOR F&-SATURATED MODELS [CH.
X, $ 5
(c) DP,$5),4) = 5, (d) ~ € 1 :implies 7 1 = (5). (e) if ~ € 1 then ; I{a:q1(a)~15}1 = N,. For any set S E N, let
r
I,=
u4,
5ES
J, = { ~ E ~J E : Ior, for some m, q rmEI,, q r (m+ 1)e J - 4 , M, be a model represented by
(q,a, : a E J,).
By ( l ) , (2), (3) above, and 5.6, M, is F;;saturated and of cardinality N,. Suppose S( l ) ,S(2) E N,, P is an isomorphism from M,,,, onto M,,,,. Let h : J,(,) +- J,(,) be as in 5.1I . Clearly any regular type over M,,,, of dimension >N, is not orthogonal to some p,, q EI,(,). So necessarily h maps I& into I,(,). Similarly, h-l maps I,(,, into I,(,,. Hence w.1.o.g. it maps { ( f ) : k ~ S ( l ) } onto { ( 5 ) : 5 ~ S ( 2 ) }(as q<>does not fork over 9). Now use 5.12.
THEOREM 5.14 : If T is deep and Ha is 2 N, the Jirst beautiful cardinal, then
+A( T )but smaller than
IE"5( N,, T ) = 2'~. Proof. We use the theory of K-bqo as developed in [Sh 821. Let 9 - , ( w , = ) be the class of ( I ,f ) , I a well-founded tree (with root, no w-branch and a t most w-levels,f:I+-w) ordered by (Il,fl) < (I,,f,) i f and only i f the first is embeddable into the second, i.e. there is a function G : A-+h,I, I= s < t implies: I , != G(s) < G(t)and fl(s) = f,(G(s)). By [Sh 821 there are 2'. pairs ( I ,f ) each I of power N,, no pair embeddable into another and w.1.o.g. each r"'(N,) (use [Sh82] 4.10, and translate it into trees as in the proof of [Sh 82, 5.71 for example). W.1.o.g. for each such I there are sequences in I of arbitrarily large (finite) length. So let {(I:,f :) : i < 2'~} be this family, so I: E "'(N,). Let g : Ha+- N, be such that (Vi < N,)l{j < N,:g(j) = i}= N,, I: = { q ~ " > ( N , ) : g ( vgf ) (g(v(Z)) : 1 < Z(q)) € I : } , f :(q) = f:(g(v)). We leave the case a = 1 to the reader, so by obvious monotonicity w.1.o.g. B 2 1. Let for i < 2Na, 4 = { q : v ~ I :or , for some m, v r m E I : , N , < q(m) < N,+K,, and for every 1 > m if (31c)[Z = L2+(fi(qrm)+m+2)2+m < Z(q)], then q(Z) < N,, otherwise q(Z) < NB}.
CH.
x, $51 DEEP THEORIES HAVE NON-ISOMORPHIC MODELS
541
Let I = "'(N,+N,), and by 5.7 there is a representation (N,,,a,: ~ € 1such ) that q,, is well defined. We choose J , I E J , IJI = K , and N,,,a,,for V E J - I such that ( 1 ) (N,, a, : 7 E J ) is a representation, (2) for each V E J - I , q/EJ has cardinality K, exactly, (3) for each regular ~ E S ' " ( N , , ) , . ~ )isE not J , orthogonal to some PrYa>.
L e t f o r i < 2 x ~ J, b = { r l ~ Jrl~l,orforsomeZ,rrZ~4,r]r(Z+l)41). : Let 2y be represented by ( N , , a , : y ~ J b Clearly ). each 4 is FiBsaturated and has cardinality Nu. So suppose i #j < 2'~, F is an elementary embedding of 4 into 4.We shall use 5.11, so we have a function h as described there. Now applying (iv) on hr4 we can conclude that for some &-large subset If of 4, h I ; preserves Q . By the choice of 4 (and 4-I,), necessarily h maps If into I,. We shall show later that w.1.o.g. 8 for some increasing function k : w + w , for q ~ I ; , l ( h ( v= )) k(l(rl)). Now by the way we have defined 4,J (and as I:,Ii are well founded) (*I0 k is the identity. [Why? For any ~ , v E ~ ( N , + N , )s.t. A ~ < ~ r l r z € ~ f , h ( r l r z ) ~ { v r m : m < w } , then max{m:q r m E l : } = max{m: v r m ~ l ; (by } the choice of 1-1;). Hence for ~ € 1II;I:, Z(h(7))= Z(7). But with an assumption on the ( I ,f)'s we finish.] Now as for every 7 E I: -{ ( )}, I{v €1::v- = q-}l = N, and similarly for I:, clearly by the definition of 4, I, : h maps I;l n I: into I;, and (*)I (*I2 for r l E C mf:(rl) =fi(h(rl)). Now as 1;n I: is an No-large subtree of I:, clearly there is a function g* from I! into I;l n I: preserving level and 4 and = , such that for q E I y , g ( g * ( q ) ) = 7. Now the composition g+ Ef (ghg") is a function from into I; preserving Q (but is not necessarily one-toone) for v 4 : f , ( g + ( r l ) ) = (f,g)h(g*(rl)) =f:(h(s*(rl))) = f i l ( g * ( r l ) ) = fi(g(g*(a)))= fi(q), contradicting the choice of the We still have to prove that w.1.o.g. 8 holds. We shall prove later:
r
c's.
CLAIM 5.15: If T is deep, then we can find (4,a , :1 < w ) as in 4.4(3) such that: for every 1 > 0 for some q,and 6,€4, tcp,[a,, 6,]and for every
542
CLASSIFICATION FOR
F
;
o
-
MODELS ~ ~ [CH.~X,
$~5
~
m > I , tp(a,,q) is orthogonal to every type to which cpl(x,6,) belong, (*), tp(ao,No) is not orthogonal to $3, (if we waive regularity, it does not fork over 9). Completion of the proof of 5.14. I n the proof of 5.7, we can use the (4,a, :l < w ) from 5.15 (instead of 4.4(3)). Also in our present proof we could have used (N,, :r] E "'(N3, N,)) derived in this way. So there are formulas cp,(x,Cl)( I < w ) 6,EN( ) such that for each i < 2 u ~r, ] ~ I l ,
+
cpl(q,(",
h,,J€!I,,,
l(r])< m < w * q,, is orthogonal to every type to which cp,(,,,(x,6!(,,J belongs. W.1.o.g. u,b, C No. Now look at the proof of 5.11 (applies to B':N+q). So for some countable u1c 4,u2E 4, closed under initial segments, Fjo-primary over U,,EuSq the following hold : and N c 9, (4 F(U,<,b,) c N , (b) tp,((6,: 1 < u ) , F ( & ) ) does not fork over F ( A )c N c 4,and A G%,U,6Jc A, A countable. As q<) does not fork over $3, h maps {r] € 4:Z(q) = l}into { r ] E 4 : Z(r]) = l}. So w.1.o.g. [r] €1:* h(r]) 1#u2and r] 14u1].Let us prove that h r I : preserves equality of the level. Let ~ € 1 ;If. l(r])= 1, we have already noted this. Now :
r
r
Observation. If q1,q2€I:, Z(sl)= l ( q 2 )> 1, then for some automorphism H of 6 over N( ) , H ( ~ , , , ) , Pare , ~ not orthogonal. Hence,
Observation. If rl,r], € I : , Z(q1) = l ( q 2 )> 1, then (1) for some automorphism H of 6 over A , H ( p q l ) , p l l are l not orthogonal, (2) for some automorphism H of 6 over F ( A )U u,<w6t,H(F(p,,l)), H(F(pVp)) are not orthogonal. However :
observation. If V~,!~EJ, l ( v l ) # l ( v 2 )> 1, then for no automorphism H of 6 over Ul<"bt,are H(p,,),pUB not orthogonal.
As non-orthogonality is an equivalence relation, we finish.
~
CH.
X, $51 DEEP
THEORIES HAVE NON-ISOMORPHIC
MODELS
543
Proof of 5.15. Choose ~ ( x6),(&,a, : 1 < w ) such that ( 1 ) (&,u,:Z < w ) is as in 4.4(3). (2) !=v[a,,6]for 1 < w , and 6 ~ 4 . (3) Under (1) (2), u* = R[q(z,6),),L, 001 is minimal. We can prove that N, is By 4.4(3) we can find such ~)(z,&),&,a,. Fjto-primary over No U a, (see Exercises 5.1, 5.2), hence for CEN,, tp(c,2\’oU a,) forks over 4, hence t ( c , N , ) forks over 4. So for 1 > 0, R[tp(a,,N,),1, 001 < u*, so for some 6, €4, and q,: !=rp,[a,,6J and u* > R[v,(z,6,), L, a].Let A!$ = { m :1 < m < w , and tp(a,,Nm) is not
+
orthogonal to some (regular)type to whichT,(s, 6,)belongs}. Suppose = {n(Z,i) : i < w } , n(Z,i) < n(1,if 1).Now let P ,= there is a N n ( 2 . m), and for each rn, as Pmis Fio-saturated, regular r, ES(N:) to which cp,(x,6,) belongs and rm is not orthogonal So r , is realized by some U ~ E N , ( , , ~ Now )+~. to tp(a,,,,,,,P,). pi(”,El), (Pm, a: :m < w ) easily satisfies (1) (2) (use Exercise 5.1, Claim V, 3.3), a contradiction to the choice of u*. So each A!$ is finite. So we can find {Z(k):k< w } , O < Z(k) < l ( k + 1) < w , A ! $ ( ~ ) E {i:i < l ( k + 1)). Let and (x,a:: = &(k),a,* = k < w ) , ~ ) , ( ~ )6z(k)) ( z , are almost as required. For the requirement prove as in 4.6 (and then use “tp(ao,No)does not fork over Exercise 5.1).
A!$ is infinite. Let kj
+
x”,
EXERCISE 5.1: If No is Fio-prime over 9, &+, FiO-prime over 4 U 4,for 1 = 0, 1, and tp(Gl,N1) is orthogonal to No, then N, is F;fio-primeover No U a,. EXERCISE 5.2: If 4 is F;fi.-prime over A for i < i(*),&is increasing then is Fi.-prime over A . (Hint: Use the and i(*)< characterization theorem IV, 4.21.)
u,y
EXERCISE 5.3 :If No is F;fi.-prime over A, (N,: a < a(*)) increasing continuous, Fi7-pfime over Nu U a,, and for each a,(8:tp(aa,Na) not orthogonal to tp(a,,N,)} has cardinality GN,,, then Nu(,)is Fi7prime over A . (Hint : see [Sh 88aI.) EXERCISE 5.3A : Show that in Lemma 5.5(1) we can add: (8) The representation is standard. (Hint: Use Exercise 5.3.) THEOREM 5.16: (1) If T is shallow, then IE: (Nu,T ) < 3a(lT,, and i.e. sup{lKl:K a family of #:;saturated models, even IEiAT) < no one elementarily embeddable into another} < aaclTI).
544
CLASSIFICATION FOR
F~;SATURATED MODELS
[CH.
X, $5
(2) If T is deep, K~ the$rst beautiful cardinal > ITI, then IEibN,, T ) < K; and even IEio(T)< K;. (3)If T is deep, and IT1 smaller than the$& beautiful cardinal K ~ N, < K,,, then for /3 < a,IEijN,, T ) = Min{K;, 2w-}
,
IEiAT) = K;. Proof. By 5.5(3)we can translate the problem of proving the upper bound to problems on embeddability of labelled trees. That is, if (q,a,,:7 E I) represents M, we can define model q such that (a) 3 is a model of T with universe c { u :a < 21Tl} x (1+1(7)), (b) there are isomorphisms I,,from q onto q , fVrr E f,, for 1< So the function g, g ( 7 )+q (7 E I ) has a range of cardinality 22'T' (really, 2ITI suffices). [Now if for 1 = 1,2,Ml has representation (fl,,, a,,:7 € 4 ) and above we have chosen Mi, (7 EZ), gr as above, then
w.
if there is a function h from 4 into 4, one-to-one, preserving Q , b , (and the level) g2(h(7)) = gl(r]), then Ml can be elementarily embedded into 4.1 For 5.16(1),see below (i.e. 5.16C implies the result by 5.5(3), 4.4(4)).For 5.16(2),(3) use what we have proved and 5.14 (for N, 2 K ~ note , that the proof of 5.14 still works).
(*)
Now the following problem on A-well-ordering should have been dealt with in [Sh 821, but we forgot. We give below just what is needed here.
DEFINITION 5.16A:(1)A quasi-order Q (i.e. a pair (IQI, <),< a transitive, reflexive relation (but maybe x < y < 5,x # y ) is A-wellordered if for any qf E Q , ( i < A) for some i < j,qi < q,. (2) Q is A-narrow if for any qf E Q (i < A) for some i # j , q1 < q,. (3)9(Q) is the family of subsets of Q. (4)For a given Q , Go is the following quasi-order on 9 ( Q ) : A GOB if and only if for some function f from A into B, (VqEA)q
CH.
X, $51 DEEP
THEORIES HAVE NON-ISOMORPHIC
MODELS
545
(with root and ,
THEOREM 5.16C: If a,(A)+-well-ordered.
11Q11
= ZA,u> 0 an ordinal, then
Y
We shall prove 5.16C and 5.16D later.
LEMMA 5.16D :For any cardinal K , and ordinal 5, letting 8 = 2",there is a function F from P("()to '5 such that for A , B E P ( " ~ A )<, l B i f F ( A ) < F(B). Remark 5.16E.
'5, "5 are ordered coordinatewise.
DEFINITION 5.16F: We say A E "5 is of kind (w,p,p)if: (i) 7 is a sequence of ordinals ,<[ of length K , (ii) w is a subset of K, (iii) for every a= (ui:i< K ) E A ,[i$w A i < K * a t = yc][iEw=. 016
< Ycl,
(iv) if y: < yi for i ~ w then , { a ~ A : y <: a r < y i for cardinality IAI, (v) IAl = P*
~ E W )has
DEFINITION 5.16G : We call A E "5simple if it is of some kind, we call it ,
CLAIM 5.161: Any A E "E i s (,
u,
iiE$if
and only if
A t
(VEENg)(ai
< E = pi < E
A a(= E
= pa= 6).
546
CLASSIFICATION FOR
F
;
o
-
MODELS ~ ~[CH.~X,
$~5
Clearly the number of Ec-equivalence classes is < 11N11" = 2", so for some & * € A for no [ < K+ is h*/Ec simple (otherwise {a/Ec:a€A, &/Ecis simple but for no E < [ is &/E(simple} a partition of A to < 2" sets, each of them simple). Let y r = Min{EEN:a: < 5>
y = ( y t : i< K ) , w = {i < K:a:$2\3.
~ , ~ = < & r w < yrw). Let for @
r
EY(~,,
+c+
Proof of Lemma 5.16D.Straightforward. Proof of Theorem 5.16C. By induction on a for a non-zero, we prove that there is a function F : 9.J(2) +A(u)[ (for some ordinal 5) where h(a) = &+=(A) such that
(U) 6 (4,fz) ifW1,fl) < F(4,A). For a = 1, since in '2 there are 2Apairwise incomparable elements, this is easy. For a = /3+ 1,/3 non-zero use the induction hypothesis and Lemma 5.16D (the reduction to (9(YGp), < I ) is easy). For a = /?, /? limit, note that to deal with (9(u,,,YG,),< I ) , we < I ) for y < /3. can reduce it to problems on (P(YG,,), EXERCISE 5.4 :(1)Suppose T is countable, superstable without the dop. Prove w2 < Dp(T) < GO implies IEibT) = 3Dp(T). (2) The natural upper bounds when T is not necessarily countable and/or Dp(T) < w2. EXERCISE 5.5: Show that for a < w 2 , there is a countable superstable T without the dop of depth w a 1, and IEi$T) = 3u+1.
+ +
~
~
CH.
x, $51 DEEP THEORIES HAVE NON-ISOMORPHIC
MODELS
547
5.17. Discussion on invariants. So the decomposition (h$al : ! € I ) totally describes a model M which it represents ; however, it IS not read easily nor uniquely from (the isomorphism type of) M. We can try to correct this somewhat. A technical point. RE-DEFINITION : In the definition of a representation we replace
(8,(4) by: (2)' IIyII G W ) ,
(4)' tp(N,,,N,,-U a,,)almost orthogonal to Zt-.
(q,
DEFINITION5.17A : (1) A representation at :7E I) is derived from the representation ( q , a i : V E J), if J s I, at = a: for 7~ J, there are for 7 ~ J , s , E { v : q v~l>,[vn(a)~s, q A ~ " ( a )YES,,], Isl]
r
)EJ,T)
DEFINITION 5.17B : Two representations will be called equivalent if they have isomorphic-derived representations. We can prove
LEMMA 5.17C: Two representations represent isomrphic models if and only if they are equivalent. However, is the equivalence class of representation of M a reasonable invariant ? We may try to replace p , , ( ~ ~ I , l=( q1)) which w.1.o.g. does not fork over 9, by cP@,,)-simpletypes over 8. Now for types of depth zero we need just their dimension, types of depth>O are trivial, so we can represent a,, by an equivalence class for the natural dependency relation on the simple type (this is not so far from IX, 2.3's proof). However, the equivalence relation is not necessarily first order, so we do not know to continue this. A primi, we can use CeQwith a non-first-order equivalence relation, but we do not know enough corresponding theory to make this work, and get, as desired,
548
CLASSIFICATION
FOR
F$-SATURATED MODELS [CH.X, $6
(3,
a, : 7€ I ) , a non-forking tree of imaginary elements such instead that the model is prime over it and is quite unique. Note that in the representation (N,,u,,:TEI)not all types, e.g. p(8,r), are necessarily there in the tree. We could have replaced NO by N&, and we could have replaced by any Fio-saturated subU E(8,c). Moreover, if we try to continue to model including shrink N(,,,) the process is not necessarily well founded (when Dp(T) 2 w ) . We may be tempted to take an inverse limit of the possible representation of a model, but it is not clear we get anywhere. We can use standard representations (see Exercise 5.3A) and represent p,’s by a canonical base, but we still have non-orthogonal, non-parallel p,’s. For a solution which is satisfying for me, see XIII, Section 1. By q)-decompositions. the way, 5.17C is true also for ( G;,+,
q,,,)
X.6. Infinite depth THEOREM 6.1: If K, 2 A(T)+N,+,, Dp(T) 2 w , then Ii$Ka,T)2 &qNT)(l4
+No)-
Prmf. Compared with the proofs of 5.1 and 5.14 we have one becomes advantage : the clause in 5.11 saying DP(JI;,~,)= Dp(p:(,),E,) meaningful. For finite depth in say 5.12, it would be many times enough to show that h usually preserves the level (i.e. when the level in the tree determines the depth). For infinite depth this is not true; however, n+ Dp(T) = Dp(T), so we can “dedicate” some low depth to “mark” the level. Let = IDp(T)I+ No.First assume a 2 w . We can find a representation (q, U: : q c I * ) , s.t. (i) tp(a&,Nf)) is not orthogonal to 9 and has depth i, (ii) tp(a:-(,),N,) has depth i, (iii) if p is a regular type of depth i not orthogonal to 9, i > 1, then (i)EI*, (iv) if qcI* -{( )}, and there is a regular type over N, orthogonal to If,-of depth i, i 2 2, then y ^ ( i ) e I * , (v) if Dp(p:) = 2, then q - ( i ) ~ I * - i = 1. (vi) qn (0) $ I * and vn( 1) € I * implies Dp(p:) = 2.
x
CH.
X,$61
549
INFINITE DEPTH
Clearly there is such a representation, II*l = JDp(T)J< h(T) < N, (or both are finite), and (by 4.6) Dp(T) = u { i : ( i ) ~ I * } + l . Now we define by induction on i, for q E (I*)-,a set H ( q ) . Case I : q(Z(q)- 1 ) = 1, H ( q ) = K>. Case 11:Not Case I and q(Z(7)- 1) = 2, H ( q ) = { h ; h a function with domain H(qn(l)) = {N,}, and
h ( R )= {Nl(7)+l>. Case 111: Not Cases I, 11: ~ ( Z ( q ) - l )2 3, H ( 7 ) = {g : g is a function with domain { H ( q ^(i)) :q (i) €I*}, and range E { A : No< h d N,} U { O } , and I{ Y :g(Y ) # O>l d N,}.
u
A
An exercise in cardinal arithmetic is to prove IH(( ))I = 3Dp(T)(lal+N0) (using Dp(T) 2 o)(check by cases). Now for every Y E H ( ( )), we choose I,, (K,a,: U E I ~ ) , ~ Y ( U and E I ~ functions ) g : , g y , s.t. : (a) (q, a,: ~ € 1 is~ a)representation, (b) gY is a function from Iy onto I*, preserving level (equivalently length), Q , mapping Iy-I;,I;, into I* - (I*)-, (I*)-,respectively, (c) g: is a function with domain I F ,g:(r]) E H ( g Y ( q ) ) , (d) if 7 ^ ( u ) E I ; , then g$(q ^(a)) is in the domain of gt(r), (e) if ~ E I F -2, is in the domain of g y ( q ) , then ( { q m ( a ) ~ I y : ( a ) ) = Z>l = (g:(q)) (2); if 7 ~ 1 y - I ; - (so q(Z(q)- 1) = 1) then g:(q I{q^(a) : q - w EIyIl = N,, (f) js an isomorphism from q onto qycy,, extending f& for z < Z(v). There is no problem, and IIyl = N,+h(T). We now can find Jy,N~,a,(uEJy--Iy)s.t. a, : u E Jy)represent an F&-saturated model My of cardi(g) (q, nality N, (see 5.6), (h) Iy E Jy and for q E Jy of length m, if q #I, then
fY
I{v E J, : tp(a,, N,) = tp(a,, Nv-)>l d K,,
(i) if /3 = 0, Jy= Iy. For notational simplicity : (j) for Y # 2, Jy n J, = {( >>. So it is enough to prove:
(*I
if Y # 2 are from H ( ( )), thenMy,M, are not isomorphic.
550
CLASSIFICATION FOR
F
g
O
-MODELS ~ [CH. ~ X, ~ $ 7~
So suppose F is an isomorphism from My onto M,. We use the U E J,), ( e , a vU: E J,), and apply 5.11, representations (x,uv: obtaining a function h from J, onto J,. So there are #,-large J& G J,, Ji C Jz such that h J k is onto Ji and preserves 4 (by 5.12). A s q ~ J hA I { u : q Q VEJ:}~= N,*I{v:h(q) 4 VEJ,}~= N,clearlyh maps J& n (&-I;) onto Ji n (Iz-I;) (remember Dp(p,Y)= Dp(pi(,,)). Similarly (looking for types of depth 2 ) , J$ n &-I;-) is mapped onto Ji n (1;-I;-). However, looking at the definition of H ( q ) when q(Z(q)- 1) = 2, we see that on J& n (I;-I;-) h preserves the level. n I, preserves the level. As From this we can easily deduce that h J& it also preserves the depth, easily (by induction on Z(u)) :
r
= g,(h(v)).
for V E J : nI,,B,(V) The rest is straightforward too. If
01
< w use Exercise 6.2.
EXERCISE 6.1 .-If T is multidimensional then I ; (N,, T)2 )a+ wJfor N, 2 A ( T ) + N ~ + also ~ ; I ( N , , T)2 la+wl if N, 2 I ~ + H , . EXERCISE 6.2: Suppose A,(1< n+ 1) is increasing, al€Al(O< I < n), tp(a,+2,Al+l)is orthogonal to A,, tpI(A1+l,AlU al+l)is almost orthogonal to A,. Suppose also that there are p pairwise orthogonal regular types, each orthogonal to A,,, but not to A,+1, and lAll = N8. Prove that n < Dp(T) and for K, > A(T)+#,, a-p 2 p
G & K u , T)2 an(la-BIP)* And even (if n > 0) 2 2,,-1[Ia+wl""-B+'b)]. EXERCISE 6.3: Suppose that for y there are no A,,a,(I < n+ 1) as above for n = Dp(5"). Prove I{o(K,, 2') < =I,(lal
X.7. Trivial types (Hyp) T stable, K = K,(T).
DEFINITION 7.1 : We call p~h'"(B)trivial if it is regular stationary and the following holds:
~
~
CH.
X, $71
551
TRIVIAL TYPES
If I_ is an independent set of sequences realizing p , 6 realizes p but tp(b,B U I )forks over B , then for some F E I , tp(6,B U C') forks over B .
u
LEMMA 7.2: Suppose Dp(N,N',@)> O,P,ES"(B)stationary and parallel to tp(a,N) (which is regular). Then p is trivial provided T does not have the dimensional order property. Proof. Assume T is superstable. W.1.o.g. B = m,NFio-saturated,I is it,} is finite and let I = {az:1 < n}. Suppose there is no such C, i.e. {6, independent over N for each 1. Let M be Fio-primeover NU I U 6. As I U 6 is finite by Definition V, 3.2, Theorem V, 3.6(2),V, 3.9(1) there is a finite set J G M independent over N, of sequences realizing regular types, such that M is Fio-primeover NU J. FACT. There is b* E I U {6}such that for no J EJ, tp(6*,N U J ) forks over N . Otherwise there are EJ,ba E J,such that each of the pairs {a:,az} ( 1 < n ) and {ba,6}is not independent over N . So for each 1, tp(az,NU{a;:1 < n } ) forks over N and tp(b,NU {az: 1 < n}) forks over N , so by V, 1.14 tp(6,NU {a::1 < n}) forks over N . By the choice of ba, tp(bo,NU 6) forks over N, hence by V, 1.14 again tp(Lo,NU {a::1 < n } )forks over N . As /is independent ba E {&p :1 < n } , so let ba = a;. So, by our choice, tp(6,NU a:) forks over N, and tp(@;,NUal)forks overN, hence by V, 1.14 tp(6,NU aZ)forks overN; a contradiction to the assumption " I , 6 is a counterexample" to 5.10. So we have proved the fact. Let J = { Z l :1 < m,}. As M is prime over NU J, there are
u,&
4 Fie-
prime over NU d z , such that M is so-primeover (see V, 3.2). Let N* <M be Fzo-primeover N U b*. As 6*realizes p (as all members of I U {b} do), by 4.4(6) Dp(N,N*,b*)> 0, hence there is a regular q* E Sm(N*) orthogonal to N, and let q be its stationarization over M. For each 1 < m,, {b*,dz}is independent over N (by the fact), hence by V, 3.2 tp,(&,N*) does not fork over N. Hence by 1.1 q* is orthogonal to &. Hence q is orthogonal to each &. But as T lacks the dimensional order property, q is not orthogonal to some 4. This contradiction proves the lemma. N is (TI+-saturated, What if T is not superstable? W.1.o.g. B = let ]be a maximal subset of I independent over N , so tp(6,N U forks over M, hence is orthogonal over N , hence FP,,+-isolated,so there
m,
uJ
552
CLASSIFICATION
FOR
F
E
;
O
MODELS - ~ ~[CH.~
X,~$ 7 ~
is M Fh,+-primary over N U U J to which 6 belongs. Continue as above.
LEMMA 7.3:Let T be stable, K = K,(T). ( 1 ) Suppose r, E S ~ ( ~ ) (for A J1 = 0 , 1 , r, parallel to r,, r, is stationary, regular and trivial, then so is rl. ( 2 ) Suppose r izSm(A)is a (stationary)regular trivial type and {a,6} is independent over A. Thenfor any F realizing r , tp@,A U i z U 6)forks over A iff tp@,A U a)forks over A or tp@,A U 6)forks over A. ( 3 ) Suppose r€S"(A) is stationary regular and trivial. For any a there are do,...,dn-,E r ( 6 )such that :{do,...,d,,-,} is independent over A, tp(d,, A U a)forks over A for 1 < n , and n = low,(a, A ) . So for any J ~ r ( 6 tp(d, ) , A U a)forks over A iff tp(&A U dz)forks over A for some l < n. Also tp(a,A U u,,,~,) is orthogonal to r. (4) Suppose ro,rl are stationary regular and not orthogonal. Then r, is trivial if r, is trivial. ( 5 ) Suppose A c B, tp(a,B) does not fork over A, r g S r n ( B )is stationary regular and trivial, not orthognal to stp(a,A). Thenfor some eEacl(,4 U a),e$aclA, stp(e,A ) is c13(r)-simp1eof weight 1. I n fact there are e,, . . . ,en-, as above, tp(a,A U {el : 1 < n})orthogonal to r. If stp(ti,A ) is semi-regular, stp(e,A ) is regular. (6) Iffor 1 = 0,1, p, = stp(@,,A) is not orthogonal to r, r a stationary regular trivial type, then p,, p , are not weakly orthogonal; infact p , has an extension over A U a, which forks over A. Proof. ( i )By the definition of parallel, r, is stationary and by V, 1.8(l ) , r, is regular. Let A, U A, E M, M F:-saturated, h > (A, U A,) and r2 be the stationarization of ro (and r,) over M. Clearly r2 is regular and stationary. Suppose r, is not trivial, then there are b, a,, . . .,an-,realizing r l , tp(6,A, U a, U .. . U an-,)forks over A,, but tp(6,A, U am)does not forkoverA,form < n. W.1.o.g. tp(6fiaon...nan-,,M) doesnotfork over A,, and then clearly 6,ti,, . .. ,an-, exemplify r2 is not trivial (use 111, 0.1). So tp(6,M U a. U .. . U an-,)forks over M, hence over Ao,-and 6, go,.. .,an-l realizes r2 and r, G r2. So by V , 1.11, clearly tp(b,A, U I )forks over A, where I = r,(M) U {a,,...,an-,}.Obviously for every FEM, tp(6, A, U F) does not fork over A,. So 6,I exemplify ro is not trivial (except that I is not independent, but this can be discarded by re's regularity) ; a contradiction, hence r, is trivial as required.
~
~
CH.
X, $71
553
TRIVIAL TYPES
(2) The implication -=is trivial. So suppose cis a counterexample to the other direction. Let M be an Ff-saturated model, A EM, tp,(M,A U a U 6 U does not fork over A. By some application of 111, 0.1 clearly {a,6} is independent over M , tp(c,MU a) and tp(c, M U 6) do not fork over M, tp(c,M U E U 6)forks over M, and tp(c,M) is a stationarization of r , hence by (1) is a stationary regular trivial type. So w.1.o.g. M = B. Note: nz may be infinite below. Let { d m : m< no}be a maximal set of sequences realizing tp(c,M) independent over M such that tp(dm,MUa) forks over M, and m < n’} be a maximal set of sequences realizsimilarly let {Ern: ing tp(c,M), independent over M, such that tp(cm,MU 6) forks over M . By V, 3.16A, no = low,(&,M), n’ = low,(6,M) and tp(d,^ ... -d3-’,M -U a) and tp(Eon... nEnl-l,MU 6)are Ff-isolated. So clearly {do,.. .,d,,o-l,e,, . ..,E , , ] - ~ } is independent over M and ntp(d, -... dno-’ e, ... en]-’, M U-E U-6)is Ff-isolated (see V, 3.2). So let N be Ff-prime over M U a U b, {do,. ..,d,,o-l,go,... ,a,-,} E N . By (10) low,(an6,M) = lowr(a,M)+low,(6,M), and - V, -3.16(8), { d o , ...,d,o-l, e,, ...,En-,} is a maximal subset of r(N) independent over M. Now what about c? F realizes r € S m ( M ) F, depends on &^6 (i.e., tp(C,M U a U 6) forks over M), hence by V,- 1.16(3), (1) tp(c,,M U r(N)) forks over M, hence tp(c,M U {Jo U . . . U d,o-l U coU . . . U forks over M. By the definition of triviality, tp(c,M U J l ) forks over M or tp(C,,MU Ez) forks over M for some 1. By symmetry, suppose the former. Clearly by V, 1.9(2) {&,c}is not independent over M , a contradiction. (3) Assume, for simplicity, T is superstable (otherwise use V, 3.16, 3.16A). Let A E M,M Ff-saturated, tp,(M, A U 8)does not fork over A. By V, 3.9 there are n,do,... ,dn-lsuch that :tp(Jon . .. Z,,-’,M u a) is Ff-isolated, realizes the stationarization of r over M, n = low,(&, M) = low,(a,A), and {do,... ,dn-l}is independent over ( M , A ) .By the first part, qz = tp(dz,MU a) forks over M, hence q1forks over A , hence for some 6,, tp(d,,A U 6,) forks over A , ~ , E M . The only property missing is tp(dz,AU a) forks over A. If this fails we get a contradiction to part (2) (with A, a,6,,dt here standing for 2,a,6,C there). The second sentence is by V, 3.12(a) and triviality. We will still have to prove “tp(@,AU ul,,dz) is orthogonal-to r ” . Suppose not. Let N be F:-saturated A > IAI + K , AU UZ<,,dlEN, tp(a,N) does not fork over A U Ul5,d,. As the conclusion fails, there is d, realizing the stationarization of
a
A-
- - - A
al
-
554
CLASSIFICATION FOR
F
E
;
o
-MODELS ~ ~
[CH. ~
X, ~ $~7 ~
r over N , tp(d*,NU a) forks over N , hence over A. As above we get tp(@,A U d,,) forks over A. But this contradicts the second sentence in (3). (4) Left to the reader (see V, 1.14). (5) Let {do,. .., be as in part (3)of the lemma (replacing A by B ), I, = { d ~ r ( Ctp(d,B ): U d,) forks over B}, and Q),,6, be such that 6,E B , Q ) , [8,~ , , and Q),(E,a,6,) forks over B . By 11, 2.2(8) there are E A U I,,and such that for every d~ I,, ~)[d,@,6,] iff @,[d,cf,6,],and w.1.o.g. (by increasing 4) is a concatanation of sequences from I,.Let e,ECeQbe defined by q/&, where
u
By the second sentence in part (3), for every automorphism F of
6- which is the identity over B U a,F maps Il into some I,,,and if m = I, then F(e) = e. Hence el can have at most n possible images (varying P). Hence el is algebraic over B U a. Let, for i < [TI',f, be an elementary mapping with domain C = B U a U u,(d,U {e,} U Q,f, r ( A u a) = the identity, stp,(f,(C), (C)) does not fork over A U C, and extend stp,(C, A U a), and fo is
u,,,f,
the identity. SUBFACT : For i # j,{f,(dm),f,(d,,,)}is not independent over U,f,(B). For every i > 0, tp,(f,(B), u,,,f,(B) U U,,, d, U C ) does not fork over A U a, and tp,(f,(B), A U a)does not fork over A [as tp,(B, A U C ) does not fork over A by symmetry], hence by transitivity tp,(f,(B), uj,,f,(B) U Ul<,dl U a) does not over A. So by 111, 0.1 tp,(U,,, f,(B),BU U,,,d,) does not fork over A , hence over B, hence tp,(U,,, z,, U,f,(B))does not fork over B. So {d,:1 < n} is independent over (U,f,(B),B). Clearly ( f , ( C ): i < ITI') is indiscernible over A U a, hence for every i {ft(dl) :I < n} is independent over (u,&(B),f,(B)). We can also conclude that tp(a, U,f,(B))does not fork over A. Now we know (for i > 0) that tp(a,f,(B) uf,(d,,,))forks over f,(B),hence tp(C, u,f,(B) Uf,(d,,,))forks over f,(B), so by the previous sentence tp(C,Uj&(B)U&(dm))forks over u,f,(B). So by V, 3.12(a), {f,(dm): i < 12'1') cannot be independent over u,f,(B). Hence, for some i, tP(.fi(Jm),uj&(B)U Uj+,fj(dm)) forks over f,(B), and by the indiscernibility and the finite character of forking, for some n
~
~
CH.
X, $71
555
TRIVIAL TYPES
tp(f,(dm),u,&(B)u~-l&(dm)) forks over U,f,(B). We can choose a minimal n,so {f,(dm):j= 1,n} is independent over U,f,(B).Applying 7.3(2) several times we find that for some Z,1 < Z < n, tp(f,(dm), u,f,(B) Ufz(dm)) forks over u,f,(B). But quite clearly tp(U if,@)
:j# O,z},fo(B) Ufo(Jm) uft(B) Ufi(dm))
does not fork over A, hence {fo(dm),j,(dm)} is not independent over f,(B) Uf,(B). By the indiscernibility we can replace 0, Z by any i # j, thus proving the subfact. As r is regular, for I > 0, tp(d,,B U does not fork over B and easily tp(d,,B U um,,(dmAcmn(em))) does not fork over B , hence tp(dl,BU Um,,(dmnEmn (em)) U Ui,,f,(B U &-con(eo>)) does not fork over B. We can find an elementary mapping g :
um,,Im)
0
Dom(g) = auU,f, B U U d m n ~ m em) n , (
r U,f,(B U donC,
m
(e,)) is the identity and stp,(range(g), U,f,(B U aonC0 n(eo)) extends stp,(Dorng, u,f,(B U don ~ on(eo))) and does not fork over U,f@ U don qn(e,)). Now {dm:m < n} U {g(dm):O< m < n} is independent over u,fi(B) by the previous paragraph, hence it is independent over (U,f,(B),B). As we have noted above, e, is algebraic over B U a, hence e, = g(e,) is algebraic over g(B U a) = B U g(a). Checking closely, we see d a t for any automorphism F of CCeq which is the identity over B U aU g(a),F(e,) = e, (as F(e,)E{e,:Z < n} andF(e,) = F(g(e,)) E{g(e,) :I < n}).So e, is definable overB U a U g(a), say by +(x,a,g(a),b*) (b*E B ) .Let g
w o n
5,Yl
n-
‘‘1
z1) =
“
(W[+@A yo, ql,f,(K*N = +(x,y1, TJ,6*))1 holds for infinitely many i’s”.
By 111,2.5, 1.7, E is a formula which is almost over A, and let e* = a ”g(a)/E.Now exactly as in the proof of V, 4.11, e* #A, tp(e*,A) is c13(r)-semi-simplenot orthogonal to r and e* E acl(U,fi(BU {e,})) but here, by the subfact, any two of {fr(e,) :i} depend on U,f,(B),hence low,(e*,A) = 1. The only point left is “e* E acl(A U a)”, but for any i we know that (k large enough) e*Eacl(Uf:f&(B U {e})5 acl(A U aU u::f&(B)) (because e,Eacl(B U a ) ; see above). As this is true for every j and
556
CLASSIFICATION FOR
F
g
o
- MODELS ~ ~[CH. ~X, $ ~ 7
{ f f ( B:j} ) is independent over A U a, clearly e* E acl(A U a).The rest is obvious. (6) Let A E 4 for i < 17J+,Nl < ITI, {q: i < 111'1 independent over A, and r has a stationarization T,ES"(&). Let u,q c M , M F:saturated, and w.1.o.g. tp(aona1,M) does not fork over A , and w.1.o.g. r € S m ( M ) .By the assumption there is J realizing T , a; realizing tp(at,M)such that tp(ai,M U 2) forks over M. For each i there is Ji realizing the stationarization of ri over M, tp(& M u d ) forks over M . By V1.9(2), tp(& M U q) forks over M (for i < JTI, I < 2). As r, does not fork over 4 by 7.3(2) for each 1, i, tp(&;,YU J ) forks over Y. Again by 7.2(2), {a",, $} independent over iVf is impossible. As this holds for each i as A E Y,{q:i < ITI'} independent over A, easily tp(a;,A U &) forks over A.
~
~
CHAPTERXI
THE DECOMPOSITION THEOREM
XI.0. Introduction (Hyp) T is stable. This chapter is similar in spirit to Chapter IV, i.e. we give here an axiomatic treatment, not claiming for it any inherent meaning, just that it is a good way to organize the material. The notion we try to axiomatize is “ a decomposition”. The most elegant case was presented in Chapter X, Section 3, but in order to get the “main gap’’ for other cases we need other such theorems. I n Section 2 we present the axioms, notions and prove the existence of decomposition (and the possibility to extend a partial one). T is a set of “small” types, E * a notion of “strong submodel ”. So we try to get decomposition theorems for models M realizing every p E T over M, by G *-submodela. I n Section 3 we define various T’s and E *’s and prove that the axioms are satisfied for various pairs. In Section 1 we prove some more facts on “ p stationary inside A ”, (weak) orthogonality and conclusions of “ p eSrn(M)is not regular ” or “ P , Q E S ~ ( are M ) not orthogonal” (for M not necessarily Ffr(T)saturated).
XI.l. Stationarization DEFINITION 1.1 : (1) We say that p €Srn(B)is stationary inside A if
B E A and there is a unique extension of p in S m ( A )which does not
fork over B. (2) We say that p is stationary inside ( B , A )when p is an m-type which does not fork over B , B E A , and for every qESrn(B),if p U q does not fork over B, then q is stationary inside A . 557
558
THE DECOMPOSITION THEOREM
[CH. XI,
$1
FACT 1.2: If B G , A (see Dejnitions 3.1(1)and 3.1(4))and p ~ s " ( C ) does not fork over B , then p is stationary inside ( B ,A ) .
Proof.Suppose not. By Definition 1.1 w.1.o.g. p € S r n ( B )so , as p is a
counterexample, for some ~ E and A p p U { p ( ~ , aand ) } p U { - p ( ~a)} , does not fork over B . By 1.4 below, for some 6~B and 6, I= $[a,61 and every a' satisfying l=6[a',61 satisfies this. As B = , A there is such a' EB , easy contradiction. FACT 1.3: If p ' ~ S " ( A ) , p = q , forks q over A , then for some p(Z,6), q l-p(Z, 6), and p U {p(x,6')}forks over A for every 6'.
Q,
=
Proof. It is easy from the next subfact.
SUBFACT 1.4: For every ~ E S " ( A and ), A such that:
+ = + ( ~ , gthere ) is #@,a),
for any 6 , p U {+(Z, 6)} does not fork over A ifs !=6[6, a]. Proof. The set of qEST(l6l) such that p U q does not fork over A is finite, in fact the number is <Mlt(p, H,,). Let {ql,.. .,qn}be an enumeration of those q's. We know (II,2.2(l ) , (a),and 11, 2.13(1), (3))that for some Bl(g,al),
+,
+(z,6)E ql if and only if I= el[6,all. 6(g,a)= V:..,6,(S,al).So we can conclude (by 111, 0.1,
Let extension property) that :
the
p U {+@, 6)) does not fork over A iff for some 1, +(z, 6)Eql iff for some I I= 6,[b,at]iff I= 6[6, a]. The only point left is ~ E AHowever, . easily every automorphism to an equivalent of 6 which is the identity on A maps formula. By 111, 2.3(1) this implies that #@,a)is equivalent to a formula with parameters from A .
Remark. Alternatively, for 1.4 we compute R [ - , + , k ] for large enough k depending on p . FACT 1.5: Suppose {atn&:i < w } is indiscernible over C, tp(&,CU U,<.a, U U,,,b,) does not fork over F U a,, tp(&FU u,<wai) does not fork
CH.
XI, $13
559
STATIONARIZATION
overcand tp(6,,FU U5<,E), tp(d,aU u,,,a5) arenot - weaklyorthogonal. Then for some n, tp(bfl,dt,,a,) and tp(6,”. . . bfl-l, UiSfla-t ) are not weakly orthogonal. Proof. Clearly, tp(bt,aUu5,,a5 U uj,i6,) does not fork over F U ai (otherwise there is a formula witnessing it, and as {a,n 6,::j< w } is indiscernible over F, we may assume w.1.o.g. that the formula is over FU uj,,a5U u5<,6,,a contradiction to one of the hypotheses). :i < w } is indiscernible Also {a,: i < w } is indiscernible over and (as {ai over F, tp(d,F U u,,,a,) does not fork over aand by 111, 1.6(1)strong splitting implies forking). tp(d,FU are not weakly orthogonal As tp(6,,FU and l=p[ao, there are 6; and p such that % realizes tp(60,FU b,, al,at,.. .,ak-l,d, F ] , l=1p[aE,&,al, . . .,ak-l,d, El. By the indiscernb;(i < w ) such that G, ibility of {at:i < w } over aU d , there are b;( realizes tp(6*,cU and
u,<,@,),
u,<,a5)
6,
u5<wa,)
6,at+l,
d,
u,,,it,)
b7p[@i,b;(, ai+l,
d, F]. Now the sequence (EO”&,al” K,tizn&,,a3CG,...,a2tAb;;l, p[at9
* * * 1
@t+k-l>
* * * 9
al+k-l -
3
azi+l n6&+l,.. .) cannot be an indiscernible set (as the formula p(,. . .,d , C) contradicts 11, 2.20). So it cannot realize the same type ..). The conclusion is immediate. as (gon 6, alA61,.
Remark 1.5A. ( 1 ) This is essentially like IV, 4.12, p. 190. (2) Note that we can replace at by a: = ai-c; (3) We can let the sequences be infinite. FACT 1.6: Suppose in 1.5 that in addition there is 2t’ realizing stp(d,FU ui<,at)such that tp(d’,au U 6,)fork ower F U 4. Then there are n < w and & realizing stp(6,,FU Ut<,at)such that tp(&,, U ~ - , ~ , U F U U , , , Z ,ower ) ~ ~F~U~ ~ ~ .
u,,a5
Proof. Work in Ceqand replace at,F by an enumeration of acl(F -at), acl(C),respectively. Now apply the previous fact.
FACT 1 . 7 : Suppose tp(6,M U a) is not almost orthogonal to M , l= @(6,a). Then there are al,6,(l-= 0 , l ) such that: (i) tp(aon60,M)= tp(a^b,M), tp(al,M) = tp(a,M),l=@[61,al], (ii) the type tp(a1,MU ito U 60)does not fork ower M , (iii) l=p[ao,6,,iz,,61, F] and {p(a0,Z,a:, 6,: @} U tp(6,, a. U @ fork : . ower a, U M , for some p and FEM,for every a:, 6
560
THE DECOMPOSITION THEOREM
[CH.
XI, $ 1
Proof.As tp(6,M U a) is not almost orthogonal to M , we know that for some 8,tp(d,M U a)does not fork overM but tp(&M U U 6) forks over M. We can choose by induction on n < w , sequences %,,,6,, such that anh6, realizes stp(&^6,M),and tp(an”6,,MU dn6^CU Ul<,,a2^6J does not fork over M . By 1.6 for some n < o there is i!$, realizing stp(b0,MUlJl<,,,al) such that tp(&,CU U,,,al u U,“,,6J forks over M U 4 ; w.1.o.g. n is minimal. By 1.3 there is a formula p and CEM such that (i) bp[ao,i!$,, ai,&,. .,a,, b,, a n + l , an+2,-.. ,4, (ii) for every a:, .. . , 6 : , . ..,5:,
e,
{p(a”*,+1,...,a:,@}U a o ,-~-* , a i5* ,1 , a*2 , 6* 2 , . . . ,-* a n 6* , tp(b0,MU ao)forks over M U a0. -
...,ah}is independent over As {ao 6,a1,a2^b,, ...,a, 6,, M (by the minimality of n ) , tp(a2n62-. . .n a,, 6, an+,^ . . . ak, M U a. ^al) is finitely satisfiable in M, hence we can find in M a sequencep = a; “& a; & ^. . . a; b:, a;+, A . . . ^a;such that l=(39) [p(ao,i!$,, a,, 8,P,6) A +(g,a,)] (remember I==@[6,a]). Let & satisfy this formula, i.e. h
A
k p[Eo, i!$, ;Gl,
4,@, C] A +[&, all.
Clearly, ao,g,a,, 6 are as required.
FACT 1.8 : Suppose p €Sm(M)is not regular, @(2,&) ~ pThen . there are
c , c ~ ,such c ~ that (i) C,Co realizes p , and I= @[c,,a], (ii) {C, Co} is independent over M , (iii) tp(C,M U C, U c(,)and tp(C0,MU c,) fork over M .
Proof.A s p is not regular, by Theorem V, 1.9(l ) ,(3) there are cl(l< n ) , C and i P realizing p such that { E l : 1 < n} U {c} is independent over M, tp(@,M U UzGnC2) forks over M and tp(C,MU UZGn cl U @) forks over M. W.1.o.g. n is minimal. Still n 2 0. If for every I < n, tp(q,M U Em U F )does not fork over M , then tp(Con . . .n C,,,
u;,,+,
MU @) does not fork over M, a contradiction. By renaming and U P) forks over M. monotonicity of forking, tp(Co,MU By 1.3 there are formulas pl,qz and EM such that letting
uu:,,~~
d = Clh...ncn: (4 l=Vl[@, CO, d, S I ? (b) != V 2 P , e,4, d , %I,
CH.
XI,
5 21
THE AXIOMATIC TREATMENT
56 1
(c) for every i?*,d‘, {pl(i?*,Z,d,al)}U tp(co,M)forks over M, (d) for every P * ,d,G,{v2(Z, P*, ci,d ,al)}U tp(c,M)forks over M. So Wy)[vl@,cO,&al) A v 2 ( ~co,&al) , ~ , A @ ( ~ , a )(use ] @ as a witness) and {d,c0,c}is independent over M (as { q :1 < n} U {F} is independent over M). Hence for some d’ EM
b(3Y) [Q)i(Y, co,
$9
a1) A
v2(G
8,4,$, a1) A @(Y, a)].
So let F+ satisfy
l=vl[a+,co,d’,all A v2[c,c+, cO,d’,al]A @[c+,a]. Clearly, F,Fo, F+ are as required (for F, c0,el) in the fact. CLAIM 1.9 : Suppose p E Sn(N) is not orthogonal to some type q to which @(~,6) belongs, where b€N,l(Z)= m. Then (1) for some r , @(z,6)E T E S ~ ( N r is ) , not weakly orthogonal to p . (2) If N c N* and N* realizes p , then $(N*, 6) # @(N*,6).
Proof (1) Let N E M,M F&,-saturated, and tp(a,M), tp(c,M), are complete types over M which are non-orthogonal stationarization of p , q , respectively. By V, 1.2(3) tp(&,M),tp(c,M) are not weakly orthogonal, so w.1.o.g. tp(a,M U C) forks over M, hence over E] and for every c‘,d, { ~ ( Z , E ’ , N. So for some J E M ,EEN,btp[a,~,d, d’,i?)}Up forks over N. Now as t=(3Z)[v(@,Z,Z,?3 A @(~,6)],{a,d} independent over N for some d” E N, k ( 3 ~[)~ ( Z, a d‘, , i?) A @(z,b)]; hence for some F’, I=cp[a,F’,d’,F] A @[F’,b]. Clearly, r = tp(F’,N) is as required. (2) Follows by the proof of (1): if N EW,CZEWrealizes p , obviously k ( 3 Z )[v(a,Z,d’,i?)A @(Z,b)]and we can choose c ’ ~ @ ( W , b ) , such that kg~[a, c’, d‘, C] A @[?, 61. Now c‘#N as tp(a,N U c‘) forks over N.
XI.2. The axiomatic treatment We try here to axiomatize the various variants of the decomposition theorem. Notice that we have such theorems for Fi0-saturation, <( T superstable without the dop, in X, Section 3) for FE, -saturation, <(T totally transcendental without the dop, in [bh 82bl) for FL0-saturated, E, (in [Sh 86, Section 2]), T superstable satisfying
562
THE DECOMPOSITION THEOREM
[CH. XI, $2
the (
CONTEXT2.1: We shall consider a pair (T, E *) where T is a set of types (i.e. m-types for m < w ) and E * is a two-place relation on the family of sets A E 6. If T = Ti, we omit it (see Def. 3.2) and if E * is Ek0 (see Def. 3.1) we omit it. Let T(A) = ( ~ E Tp; a type over A). Ax(Ai) : C * is preserved by automorphisms of 6, A E * B implies AcB,ifA$BletA s*BmeansAc*BUA,andassumeAs*A. Ax(A2):A E * C a n d A E B E C i m p l i e s A E*B. Ax(A3): C * is transitive. Ax(A4): If A
c *$,
for i < a,$ increasing, then A E *
u,,,$.
Ax(A4;,) : If A C B and A C * C for every C E B of power is a non-forking tree, Arrkc * A l , then A , ) E * U,,IA,. DEFINITION 2.2: (1) A set is T-saturated if every type PET@) is realized by some ~ E A . (2) F(T)= { ( p , B ) : p ~ 8 ~ (for A )some m < w,B E A, and there is qcprB,qET,qw (3) A is T-atomic over B if A is F(T)-atomic over B. (4) A is T-primitive over B, if B E A and for every T-saturated A* extending B there is an elementary mapping F , F ( A )E A * , F I B = the identity.
CH.
XI, $21
THE AXIOMATIC TREATMENT
563
( 5 ) A is T-prime over B if A is T-saturated and T-primitive over
B. (6) A is T-minimal over B if A is T-saturated, B S A , and every T-saturated A*,B E A* c A, is equal to A.
Remark. Usually any T-saturated set is a model (followsby Ax(B2)). So usually we denote such sets by M,N even if this is not necessarily assumed. Note that T-primitive is not necessarily equivalent to F(T)primitive. Ax(B1) : T is preserved by automorphisms of
a.
Ax(B2): Every finite type is in T Ax(B3): I f M C A , p E tp(n,A),pET, tp(&,A)does not fork overM, and M is T-saturated, then p is realized in M. Ax(B3-) : Like Ax(B3) but M 5 *A. Ax(B3--) : Like Ax(B3) but M E *A U ii. Ax(B4): If B is F(T)-constructible over A, then B is T-atomic over A. Ax(B4+):If B is T-atomic over A , A G B , and tp(6,B) is T-atomic, then tp(6,A) is T-atomic. Ax(B5) : If p ( Z , Q) is a type, p ( Z , 6)E T and p ( Z ,6) U {cp(%, 6)) is consistent, then for some q(y)E T which brealizes, Domq s Domp(Z,y) and, for every 6' realizing q ( p ) , p (6~'),E T and p ( ~6'), U { c p ( ~6')) , is consistent. Ax(B6) : If p ( Z ,g) ET, then p(Z,6)ET. Ax(B7): If 6 is a limit ordinal, i <j < 6*M, C M , , each M i is M iis T-saturated. T-saturated, then
ui<6
Ax(C1): If N S Nl E C , N E *A, { A , N l }is independent over N , C is Tatomic over Nl U A, and Nl,N are T-saturated, then Nl c * C .
564
THE DECOMPOSITION THEOREM
[CH.
XI, $ 2
Ax(Cl-) : Like Ax(Cl), but A is T-saturated too and N C *Nl. Ax(Cl--) : Like Ax(Cl-), but C C acl(Nl U A ) . Ax(Cl+): Like Ax(Cl), but N not necessarily T-saturated. Ax(C2) : Suppose M C _ * PE N , all T-saturated and for some FEN, C # P tp(E,W) is not orthogonal to M . Then for some F E N ,a#IP and t p ( F , P ) does not fork over M .
Ax(C3) : Suppose M C _ * A ,A C N , A # N and M , N are T-saturated. If for every EN, A,tp(5,A) is not almost orthogonal to M , then for some EN, 5 $ A , tp(5,A) does not fork over M . Ax(C3+): Like Ax(C3), but we strengthen the conclusion to : tp(6,A ) does not fork over M and is regular. Ax(C3-) : Like Ax(C3), but we assume : M c * N . Ax(C3*) : Like Ax(C3+),but we assume : M S * N . Ax(C4) : If M G * N , M # N , then for some F E N F#M , and tp(i7,M) is regular. Ax(D1) : Every P E T @ ) can be extended to a T-isolated complete type over A . Ax(D2) : SupposeM E * A , A C N , ~ E T ( AandM,Nare ) T-saturated, then there is FENrealizing p such that tp(c,A) is almost orthogonal to M . Ax(D2--) : Like Ax(D2) but M C * N . Ax(D2-) : Like Ax(D2), but suppose also & E Ml c . . . c M, = M , each Ml is T-saturated and C _ * N and for each I < n(VB)[Ml+,c B G N A tp*(B,4+l)is almost orthogonal to 4 C * B ] and tp,(A,i&+,) is almost orthogonal to 4. Ax(E1) : Suppose & S *Ml(Z= 1, 2){M1,4}is independent over ik& and each &(Z < 3) is T-saturated. Then there is a T-prime T-atomic model M over Ml U 4.
CH.
XI, $23
565
THE AXIOMATIC TREATMENT
Ax(El+):Like Ax(El), but we omit the hypothesis require that they are T-saturated).
&& E*&
(but
Ax(E2): For Ml as in Ax(El), every ~ E S " ( MU, 4 ) which is Tisolated, is almost orthogonal to MI and to 4. Ax(E2+):Like Ax(E2),for&&c Ml T-saturated, {&Il,@.} independent over &&.
DEFINITION 2.3: ( 1 ) Let A( E *) be the first A such that for every A EB,t h e r e i s A ' , A E A ' E * B , J A ' J < A + l A l . (2) Let A(T) be the first A such that the following is impossible: p 2 A, A, increasing continuous for i < p+,lA,l < p, and for every i some p€T(A,) is realized in A,+1, but not in A,. (3) A(T, E *) is the first A 2 121' such that: if A,(i < A+) is increasing continuous, lAJ < A, then for (*I some i : A , s * U,l ) , (e) t p * ( 3 , q r kU E,rcr+l,) is almost orthogonal to qrk (where k < r]€I), (f) : r] (i) E I ) is independent over N,, (g) tp(@,,N,-)is regular, (2) we define a (T, E *, A)-decomposition similarly, replacing A(T, E*)by A.
y
w,
r
Remark 2.4A.(1) Remember T,- = r] (Z(r]) - 1). (2) All we shall prove for (T, E *)-decomposition,hold for (T, E *, A)-decomposition if A satisfies 2.3(3) (*).
566
THE DECOMPOSITION THEOREM
[CH.
XI, $2
DEFINITION2.5: (1) We say that ( q , a , : q ~ Iis) a ( T ,c*)decomposition inside M if (in addition to (a)-(g)): (h) N, c M for every t E I, (i) if N, E A E M , tp,(A, N,- U a,) is almost orthogonal to N,-, then Nn =*A, (j) M is T-saturated, (k)N<)E *M. (2) We say that (N!,a,,:7 E I) is a ( T ,c *)-decomposition of M if it is a maximal ( T ,E *)-decomposition inside M (maximal - under the natural ordering). CLAIM 2.6: (1)If (N,,@,:~ E Iis) a (T, c *)-decomposition,then (N,: ~ E I is) a non-forking tree. (2) A n y (T, c*)-decomposition inside M can be extended to a ( T , *)-decomposition of M (there is always a (T, E *)-decomposition inside M: the one with I empty).
=
Proof. (1) Use (e) and (f)of Definition 2.4. (2) Easy. CLAIM 2.7 : (1) [Ax(B2)] Every T-saturated set is a model. (2) Ax(B3) implies Ax(B3-) and (B3-3; and Ax(A2), (B33 imply Ax (B3 7 . (3) Ax(Cl+) implies Ax(C1) implies Ax(Cl-) implies Ax(Cl--). (4) Ax(C3+) implies Ax(C3) and Ax(C3*), each of which implies Ax(C3-). Also, Ax(C3') implies Ax(C4). ( 5 ) Ax(D2) implies Ax(D2-) implies Ax(D2--). (6) Ax(Dl), (B4) imply Ax(EI+) implies Ax(El), also Ax(E2+) implies Ax(E2). (7) Suppose that whenever &(I < 3) are T-saturated {M,,k&} is independent over 4,and 4 c *Ml, then acl(M, U k & ) is T-saturated. Then Ax(B2), (Cl--) imply Ax(Cl-). (8) Ax(Cl-), (D2-), (El) imply Ax(E2). (9) Ax(B3) and Ax(B5) imply Ax(E2); also Ax(B3-), Ax(B5) and Ax(Cl--) imply Ax(E2). (10) Ax(B3-), Ax(B5) and Ax(D1) imply Ax(D2). (11) For A < p, Ax(A4;,) implies Ax(A4;J. If Ax(A2), then Ax(A4) ifl AX(A~;,~). (12) Suppose T satisJies Ax(B3). If M is T-saturated, p ( z ,Q) E T ( M ) , b realizes p and tp(6,M U a)is not almost orthogonul to M , then there are al -b1 ( I = 0 , l ) satisfying (i), (ii), (iii) of 1.7 and aln 6, realizes p . A
CH.
XI, $21
THE AXIOMATIC TREATMENT
567
(13) if T is superstable, Ax(B3) implies Ax(B7). (14) Ax(B4+)implies Ax(B4). Proof. (8) Let M be T-prime and T-atomic over M, Ui& (exists by Ax(E1)). Let us prove that tp,(M,M, U 4 ) is almost orthogonal to M,. Let C be a maximal subset of M such that tp,(C,M, U 4 ) is
almost orthogonal to MI. Clearly, M, U 4 E C. By Ax(Cl-) M, E *M, and M, C*C hence by Ax(D2-) (even (D2--)) C is T-saturated. As M is T-prime over M, U 4 , M is isomorphic over M, Uik& to some M-,M, U 4 c M- c C. Now tp,(C,M, U 4 ) is almost orthogonal to M,, hence tp,(M-,M,U%) is almost orthogonal to M,, hence tp,(M, M, U 4)is almost orthogonal to M,. (9), (10) Use 1.3. (12) Repeat the proof of 1.7. THEOREM 2.8: [Ax(Al), (A2), (A3), (B2), (B3), (B4+),(B5), (B6), (B7), (Cl-), (C2), (C4), (D2-), (El), (E2) and: (A4) or (A6), (Cl)]. Suppose T does not have the dop. If (A$a,,:qeI) is a (T, c *)decomposition of M, then M is T-prime T-atomic and T-minimal over
U,,,N,. We break the proof to a series of claims. CLAIM 2.9: (1) [Ax(A3),Ax(Cl-)]. Let &,M(l< 3) be as in Ax(E1). Then 4 E *M for 1 < 3. (2) [Ax(B2), 0331, (B5), (B6)I. Suppose 4 E *Mi94 E *4, ik& E M,*,{M,,M,*} is independent over 4 and each model is T-saturated. Then every T-isolated p E Sm(MlU 4 )has a unique extension in Sm(MlU M ; ) . Proof. (1) Trivial. (2) Easy too. Let p be a counterexample. By Ax(B2), (B3) (or use XII, 2.3) M, U 4 EtMl UM; (see Definition 3.1) hence by 1.2 p is stationary inside MI U Mz. So (as p is a counterexample) some U M,*)forks over M, U 4. Let a realize such extension of p in Sm(Ml extension, so a realizes p and for some 6eM,*,FEM,, and cp t=cp[a, 6,F] and cp(a,6,Q fork over M, U 4 . By Fact 1.3 w.1.o.g. for every 6,F’, p U cp@, b’,c’)forks over M, U 4 . As p is T-isolated there is p, E p, p, I-p and pOeTand w.1.o.g. F E Domp,. Clearly, p, U {cp(Z, 6, q} is consistent, hence by Ax(B5)
568
THE DECOMPOSITION THEOREM
[CH.
XI, $2
there is q(q,Z)E T such that q(q,Z)E tp(6-E, Domp,), and for every b'- c realizing q(g,q, p , U{cp(Z,6',c')} is consistent. Now tp(6, Ml U 4 )does not fork over 4,E E M and ~ q(g,C) E T (by Ax(B6)),and q(g,C)E tp(6,M1U&). So by Ax(B3) some 6 ' ~ & realizes q(q,C), hence 6'^ F realizes q(q,Z),hence p , U {cp(~,6', C)} is consistent. As p , I-p, also p U {cp(x,6',C)} is consistent, by the choice of cp it forks ~ we get a contradiction. overM, U 4 . As~ES"(M,U & ) , E , ~ ' E MU&, A -I
CLAIM 2.10: [Ax(Al), (AZ), (A3),(BZ), (B3), (B4+), (B5), (B6), (B7), (Cl-), ( E l ) , (E2), and : (A4) or (A6), (Cl)]. Suppose I Gu' a is closed under initial segments, ( N , : q € I ) is a non-forking tree, each N, is T saturated and Nqrr E *%. Then there is a T-prime T-atomic model M over UqEIq,and 4 E * M for every ~ E and I tp,(M, U,,,N,) is almost orthogonal to each 4.
r
-
Proof. Let I = {vr: i < /3} be such that qr = 7, k i < j.We define by induction on i a model 4 such that : (a) u,<,+rq, c (b) 4 is T-prime and T-atomic over U,,,+,N, U q for each y < i, 4
9
For i = 6,limit. We let 4 = u j , d M j . Now (a),(d), (e) are trivial, (c) follows by Ax(A4) (or use Ax(A6), ((31):by Ax(A6) q,s * U { N , : a < l+i,vj, 8 q,} and then by downward induction on k < l(v,),using Ax(Cl), 3,E < 1 +i, q, k < va},so for k = 0, qjE * Ua<,+&,=;now use Ax(C1) with q,, standing for N,N,,A, C, respectively, using Mdis Tatomic over U,
r
*u{q=:a
uu..l+,qm,l&
u,<,+&,,
'~('7
q,,
CH.
XI, $21
THE AXIOMATIC TREATMENT
569
I- tp@,U,,dA?. We forking tree, clearly (by XII, 2.3) tp(c, u,,l+,q,) hence tp(c, IS Tcan conclude that p I- tp(c, isolated. The same argument proved half of (b); M, is T-atomic over u,,,qj U My. For the other half (T-prime) let M+ be T-saturated, EM+, and we shall define an elementary embedding of M For this we define by induction on i < 6 an into M+ over elementary embedding 4 of 4 into M+,Fi rN = the identity for j < 1+a and 4 E I$ for j < 1+a. F, is the ident!iy ; for limit we take union, for successor we use (b) from the induction hypothesis. So Fb is as required. Really this proves (b) for y = 0 ; the general case is proved similarly. Mi is T-saturated by Ax (B7). For i a successor, let 1 + i = j+ 1, where j > 0 and let l(7,) = k,, 7,r (k,- 1) = 7,. By (g) for i- 1,{N,,,4-l} is independent over q,. Those three models are T-saturated (M+l by (b), the others by Def. 2.4), by (c) qaG * J I - , and by Def. 2.4. q m~ * l $ . So Ax(E1) applies and a T-prime T-atomic model 4 over NVjU M ) exists. By Ax(E2) tp*(4,NTjUM)) is almost orthogonal to N, and to 4, and by 2.9(1) q,G * ~ , M ~ ; * Now 4 . (a), (d), (e) hold trivially, (c) holds (by Ax(A3)). We can get (f) by 2.9(2), and it implies (g). Now (b) can be proved using (B4+).
u,,,N,)
u,,,q,),
u,
uj,I+ui'$.
CLAIM 2.11 : [Ax(Al),(A2),(All), (B2), (B3), (B4+),(B5),(B6),(B7), (Cl-), (El), (E2) and: (A4) or (A6), (Cl)].Suppose ( q : r ] ~ is I )as in the previous claim, and M is T-prime over Then tp*(M,u,,,N,) is almost orthogonal to N, and N, G *M for each V E I , and M as T-atomic over u,,,N,.
u,,,y.
u,,,N,
Proof. By 2.10 there is M+ T-prime over which satisfies the conclusion of 2.11. As M is T-prime over UTEII$ there is an elementary embedding ofM intoM+over U,,,q, so w.1.o.g. M c M+. Easily M inherits the required properties from M+.
CLAIM 2.12: [Ax(Al),(A2), (A3),(B2), (B3), (B5), (B6), (Cl-), (C2), (El), (E2) and: (A4) or (A6), (Cl)]. Suppose T does not have the dop. a,, :7 EI) is a (T, E *)-decompositionu,N, G M,M # M+, Suppose (3, EM+ c M,M+ is T-prime T-atomic over U V E I qfor , each V E I , N, G *M+and tp,(M+, U,,,,N,) is almost orthogonal to 4.Thenfor some FEM,F$M+ and ~ €tp(c,M+) 1 does not fork over N, and is orthogonal toN,- if 7 # ). [Actually we use only (a),(b),(c) ofDejnition 2.4(1).]
u,,,N,
<
570
THE DECOMPOSITION THEOREM
[CH.
XI, $2
Proof. Let h = ~ ~ M ~ ~ +and + ~ the T ~ following +, fact is true (under 2.12’s hypothesis).
q,
FACT 2.13 : (A) We can find Ff-saturated q ( g E I ) such that N,, E qrk 5 tp,(q,M U : g # v and not g 4 v}) does not fork over
q,
u {v