$. For $p$ algebraic, pick $p_0 \in {\text{gS}}(M)$ nonalgebraic and let $N_0^{M'} (a_p) := N_0^{M'} (a_{p_0})$, $N^{M'} (a_{p_0}) := N^{M'} (a_{p_0})$, $F^{M'} (a_{p}) := F^{M'} (a_{p_0})$.

2.  By Lemma \[saturation-charact\].

\[k’-aec\] ${\mathbf{K}}'$ is an AEC with ${\operatorname{LS}}({\mathbf{K}}') = \chi$.

It is straightforward to check that ${\mathbf{K}}'$ is an abstract class with coherence. Moreover:

-   : Let ${\langle M_i : i < \delta \rangle}$ be increasing in ${\mathbf{K}}'$. Let $M_\delta := \bigcup_{i < \delta} M_i$.

    -   $M_0 {\le_{{\mathbf{K}}'}} M_\delta$, and if $N {\ge_{{\mathbf{K}}'}} M_i$ for all $i < \delta$, then $N {\ge_{{\mathbf{K}}'}} M_\delta$: Straightforward.

    -   $M_\delta \in {\mathbf{K}}'$: $M_\delta {\upharpoonright}\tau ({\mathbf{K}})$ is $\chi$-saturated by Fact \[union-sat\]. Moreover, $R^{M_\delta}$ is clearly a linear ordering of $M_\delta$. Write $I_i$ for the linear ordering $(M_i, R_i)$. Condition \[cond-3-k’\] in the definition of ${\mathbf{K}}'$ is also easily checked. We now check Condition \[cond-4-k’\].

        Let $a \in |M_\delta|$. Fix $i < \delta$ such that $a \in |M_i|$. Without loss of generality, $i = 0$. By hypothesis, for each $i < \delta$, there exists $p_a^i \in {\text{gS}}(M_i {\upharpoonright}\tau ({\mathbf{K}}))$ not algebraic such that ${\langle F^{M_i} (a, j) \mid j \in I_i \rangle
$. For $ p$ algebraic, pick $ p_0 \in { \text{gS}}(M)$ nonalgebraic and let $ N_0^{M' } (a_p): = N_0^{M' } (a_{p_0})$, $ N^{M' } (a_{p_0 }): = N^{M' } (a_{p_0})$, $ F^{M' } (a_{p }): = F^{M' } (a_{p_0})$. 

 2.   By Lemma \[saturation - charact\ ]. 

 \[k’-aec\ ] $ { \mathbf{K}}'$ is an AEC with $ { \operatorname{LS}}({\mathbf{K } }') = \chi$. 

 It is straightforward to check that $ { \mathbf{K}}'$ is an abstract course with coherence. furthermore: 

 -   : permit $ { \langle M_i: i < \delta \rangle}$ be increasing in $ { \mathbf{K}}'$. Let $ M_\delta: = \bigcup_{i < \delta } M_i$. 

     -    $ M_0 { \le_{{\mathbf{K } }' } } M_\delta$, and if $ N { \ge_{{\mathbf{K } }' } } M_i$ for all $ i < \delta$, then $ N { \ge_{{\mathbf{K } }' } } M_\delta$: aboveboard. 

     -    $ M_\delta \in { \mathbf{K}}'$: $ M_\delta { \upharpoonright}\tau ({ \mathbf{K}})$ is $ \chi$-saturated by Fact \[union - sat\ ]. Moreover, $ R^{M_\delta}$ is clearly a analogue ordering of $ M_\delta$. Write $ I_i$ for the linear ordering $ (M_i, R_i)$. Condition \[cond-3 - k’\ ] in the definition of $ { \mathbf{K}}'$ is also well check. We immediately check Condition \[cond-4 - k’\ ]. 

         Let $ a \in |M_\delta|$. Fix $ i < \delta$ such that $ a \in |M_i|$. Without personnel casualty of generality, $ i = 0$. By hypothesis, for each $ i < \delta$, there exists $ p_a^i \in { \text{gS}}(M_i { \upharpoonright}\tau ({ \mathbf{K}}))$ not algebraic such that $ { \langle F^{M_i } (a, j) \mid j \in I_i \rangle
$. Fog $p$ algebraic, pick $p_0 \in {\uext{gS}}(M)$ nonalgebrcuc and let $N_0^{J'} (a_p) := N_0^{M'} (a_{p_0})$, $N^{M'} (a_{p_0}) := N^{M'} (a_{p_0})$, $F^{M'} (a_{p}) := F^{M'} (a_{'_0})$.

2.  Bt Lemna \[saturation-charact\].

\[k’-adc\] ${\mathbf{N}}'$ is an QEC xith ${\operatornamx{MS}}({\mathbn{H}}') = \cgl$.

It iv straightforwatd to check dhat ${\mathbf{K}}'$ iv xn abstract class with coherence. Morejver:

-   : Lft ${\langle M_i : y < \dtltw \rahgle}$ be increasing in ${\mathbf{K}}'$. Let $J_\delta := \bigcup_{i < \delya} M_i$.

    -   $M_0 {\le_{{\mathbf{K}}'}} M_\dflta$, and if $N {\ge_{{\mathbf{N}}'}} M_i$ for alo $i < \eelta$, then $N {\ge_{{\mathbf{K}}'}} M_\delta$: Strajghtforward.

    -   $M_\delta \in {\matfbf{K}}'$: $K_\delta {\uphqrpoojtight}\tau ({\matibf{K}})$ if $\chi$-saturatcc by Fdct \[unipn-sat\]. Moreover, $R^{M_\veltq}$ is clearly a linear ordering of $M_\deltw$. Write $I_h$ yor the linear orderibg $(M_i, R_h)$. Cotditkin \[zons-3-k’\] ih the fefmnition of ${\jathbf{K}}'$ is qlso easily checked. Wq now check Cohditiog \[sond-4-k’\].

        Let $a \in |M_\delta|$. Fix $i < \delua$ sudh that $a \in |M_i|$. Without loss of generality, $i = 0$. By hypjthesis, for each $i < \delta$, there exists $p_a^i \in {\texd{gS}}(M_i {\jphcvioonfugjt}\tau ({\mathbf{K}}))$ not algebraic such that ${\langle S^{J_i} (a, j) \mid j \in I_i \rangle
$. For $p$ algebraic, pick $p_0 \in and $N_0^{M'} (a_p) N_0^{M'} (a_{p_0})$, $N^{M'} (a_{p}) F^{M'} (a_{p_0})$. 2. Lemma \[saturation-charact\]. \[k’-aec\] is an AEC with ${\operatorname{LS}}({\mathbf{K}}') = It is straightforward to check that ${\mathbf{K}}'$ is an abstract class with coherence. - : Let ${\langle M_i : i < \delta \rangle}$ be increasing in Let := < M_i$. - $M_0 {\le_{{\mathbf{K}}'}} M_\delta$, and if $N {\ge_{{\mathbf{K}}'}} M_i$ for all $i < \delta$, then {\ge_{{\mathbf{K}}'}} M_\delta$: Straightforward. - $M_\delta \in {\mathbf{K}}'$: $M_\delta ({\mathbf{K}})$ is $\chi$-saturated by \[union-sat\]. Moreover, $R^{M_\delta}$ is clearly linear of $M_\delta$. $I_i$ the ordering $(M_i, R_i)$. \[cond-3-k’\] in the definition of ${\mathbf{K}}'$ is also easily checked. We now check Condition \[cond-4-k’\]. Let $a |M_\delta|$. Fix \delta$ such $a |M_i|$. loss of generality, 0$. By hypothesis, for each $i exists $p_a^i \in {\text{gS}}(M_i {\upharpoonright}\tau ({\mathbf{K}}))$ not algebraic that ${\langle (a, j) \mid j \in I_i
$. For $p$ algebraic, pick $p_0 \in {\text{gs}}(M)$ nonalgebRaic aNd lEt $N_0^{m'} (a_P) := N_0^{M'} (a_{P_0})$, $N^{M'} (a_{P_0}) := N^{M'} (a_{p_0})$, $F^{M'} (a_{p}) := F^{M'} (a_{p_0})$.

2.  BY lemmA \[saturation-charact\].

\[k’-aec\] ${\MathbF{K}}'$ IS an Aec wIth ${\opEratornAMe{ls}}({\MatHbF{K}}') = \Chi$.

it IS sTraigHtfOrward tO check that ${\MatHbF{K}}'$ is an abstraCT cLass with coHerEnce. Moreover:

-   : let ${\Langle m_i : I < \deLTa \ranGle}$ Be incReasinG In ${\mathBf{K}}'$. Let $M_\deLtA := \Bigcup_{I < \Delta} M_i$.

    -   $m_0 {\LE_{{\mAthbF{K}}'}} M_\delta$, and if $N {\ge_{{\mAThBF{K}}'}} M_i$ for all $i < \delTa$, then $n {\gE_{{\MaTHBf{K}}'}} m_\deLta$: StraighTfOrwarD.

    -   $m_\delta \iN {\MaTHBF{K}}'$: $M_\DElta {\upharpoonRight}\tau ({\matHBf{K}})$ Is $\chi$-sAtUraTEd by FaCt \[uniOn-SAt\]. MOreover, $R^{M_\deLta}$ iS clearly a Linear ORdering OF $M_\delta$. write $I_I$ foR thE linEAr OrDerInG $(m_i, R_I)$. coNdiTIon \[Cond-3-k’\] in tHe DeFinitIon oF ${\MATHbf{K}}'$ Is aLso eAsily Checked. We now cHecK ConDItiOn \[conD-4-k’\].

        Let $A \in |M_\DeLta|$. FiX $i < \deltA$ such ThAt $a \in |M_i|$. Without lOss oF generaliTy, $i = 0$. by HypOtHesis, FOr each $I < \deLta$, There exIsts $p_a^i \IN {\teXt{Gs}}(m_I {\uPharpoonright}\tau ({\maThBF{k}}))$ nOt algebrAic sucH ThAt ${\LAngle F^{M_i} (A, j) \Mid J \in I_I \RAngle
$. For $p$ algebraic, pick  $p_0 \in{\tex t{g S}} (M )$ n onal gebraic and le t  $N_ 0^{M'} (a_p) := N_0^{M '} (a _{ p _0}) $ ,$N^{M '} (a_{ p _0 } )  :=  N ^{ M'}  ( a _{ p_0}) $,$F^{M'}  (a_{p}) : = F ^{ M'} (a_{p_0} ) $. 

2.  By L emm a \[saturati on- charac t\ ].\[k’- aec \] ${ \mathb f {K}}'$  is an AE Cw ith ${ \ operato r n am e{LS }}({\mathbf{K}}') =\ chi$.

It is s traigh tf o rw a r d t o c heck that${ \math b f{K}}'$ is a n  ab s tract class w ith coheren c e.Moreov er :
-    : L et ${ \l a ngl e M_i : i <  \de lta \rang le}$ b e  increa s ing in${\mat hbf {K} }'$. Le t$M_ \d e lta :=  \b i gcu p_{i < \ de lt a} M_ i$. -  $M _0 { \le_{ {\mathbf{K}}' }}M_\d e lta $, an d if$N { \g e_{{\ mathbf {K}}' }}  M_i$ for all $ i <\delta$,the n$N{\ ge_{{ \ mathbf {K} }'} } M_\de lta$: S t rai gh t f o rw ard.

    -   $M_\ de l t a\in {\ma thbf{K } }' $: $M_\delt a{\u phar p o onrig ht}\ t au  ({\math bf{K}} ) $is  $\chi$ -s aturat ed  by  Fa ct \[ u nion -sat\] . Moreov er, $ R ^{M_\delta}$ i s  clearly a li n ea r or d erin g o f $M_\delta $. W r ite$I_i $  f ort he li nearor d er i ng $(M_i, R_i)$. Co nd ition\[con d-3-k’\] in t he definit i o n  of ${\m athb f {K } }'$ is also ea silychecked. W e  now che ck Co ndition\[cond-4- k ’ \].

      L et$a\ i n|M_\delta|$.F i x $i  <  \delta $ s uch tha t $ a \ in|M_ i| $. Withou t loss o fge ne ra lit y, $i = 0$. By  h ypo th esi s, fo r  each$i <\del ta $, the re exis t s$ p _a^i  \ in  {\t ext {g S}}(M _i { \ uph arpoonr ight}\tau  ({ \ math bf {K }}))$ n ot algebraicsu ch that ${ \l ang le F^{ M _ i} (a, j ) \mid j \in I_i \rangl e 
$. For_$p$ algebraic,_pick $p_0 \in {\text{gS}}(M)$_nonalgebraic and_let_$N_0^{M'} (a_p)_:=_N_0^{M'} (a_{p_0})$, $N^{M'}_(a_{p_0}) := N^{M'}_(a_{p_0})$, $F^{M'} (a_{p}) :=_F^{M'} (a_{p_0})$.

2. _By_Lemma \[saturation-charact\].

\[k’-aec\] ${\mathbf{K}}'$ is an AEC with ${\operatorname{LS}}({\mathbf{K}}') = \chi$.

It is straightforward to check_that_${\mathbf{K}}'$ is_an_abstract_class with coherence. Moreover:

- _ : Let ${\langle M_i_: i_< \delta \rangle}$ be increasing in ${\mathbf{K}}'$. Let_$M_\delta_:= \bigcup_{i <_\delta} M_i$.

    -   $M_0_{\le_{{\mathbf{K}}'}} M_\delta$, and if $N {\ge_{{\mathbf{K}}'}}_M_i$ for all_$i_<_\delta$, then $N {\ge_{{\mathbf{K}}'}}_M_\delta$: Straightforward.

    -_  $M_\delta \in {\mathbf{K}}'$: $M_\delta_{\upharpoonright}\tau ({\mathbf{K}})$ is $\chi$-saturated by Fact \[union-sat\]._Moreover, $R^{M_\delta}$ is clearly a linear_ordering of $M_\delta$. Write $I_i$_for the_linear ordering $(M_i, R_i)$. Condition_\[cond-3-k’\] in the_definition of_${\mathbf{K}}'$ is also_easily checked. We now check Condition_\[cond-4-k’\].

  _     Let_$a_\in |M_\delta|$. Fix_$i_<_\delta$ such_that $a \in_|M_i|$._Without loss_of_generality, $i = 0$. By hypothesis,_for_each $i < \delta$, there exists $p_a^i_\in {\text{gS}}(M_i {\upharpoonright}\tau ({\mathbf{K}}))$_not_algebraic such that ${\langle_F^{M_i} (a, j) \mid j_\in I_i \rangle