\[uniqueness thm\] Let ${\mathcal{K}}$ be an abstract elementary class which satisfies the joint embedding and amalgamation properties. Suppose $\mu$ is a cardinal $\geq\operatorname{LS}({\mathcal{K}})$ and $\theta_1$ and $\theta_2$ are limit ordinals $<\mu^+$. If ${\mathcal{K}}$ is $\mu$-superstable and satisfies $\mu$-symmetry, then for $M_1$ and $M_2$ which are $(\mu, \theta_1)$ and $(\mu,\theta_2)$-limit models over $N$, respectively, we have that $M_1$ is isomorphic to $M_2$ over $N$. Moreover the limit model of cardinality $\mu$ is saturated.

This is just a restatement of Theorem 5 of [@Va3-SS] and the proof of Theorem 1.9 of [@GVV].

Combining Theorem \[uniqueness thm\] with Proposition \[mu-plus-limit\], we get the following corollary.

\[limit is sat\] Let ${\mathcal{K}}$ be an abstract elementary class which satisfies the joint embedding and amalgamation properties. Suppose $\kappa$ is a cardinal $\geq\operatorname{LS}({\mathcal{K}})$, and $\theta$ is limit ordinal $<\kappa^{++}$.

If ${\mathcal{K}}$ is $\kappa$-stable, $\kappa^+$-superstable and satisfies $\kappa^+$-symmetry, then any $(\kappa^+,\theta)$-limit model is also a $(\kappa,\kappa^+)$-limit model.

Downward Symmetry Transfer {#downward section}
==========================

In this section we provide the proof of Theorem \[symmetry transfer\]. While the result follows from Theorem 4 and 5 of [@Va3-SS], we include the proof here for completeness since [@Va3-SS] is currently under review and has not yet been published. Additionally, the proof of Theorem \[symmetry transfer\] serves as the blueprint for the successor step for a more general result of transferring symmetry downward that appears in the unpublished work [@VV].

In the proof of Theorem \[symmetry transfer\], we will be using towers composed of models of cardinality $\mu$ and other towers composed of models of cardinality $\mu^+$. These towers will be based on the same sequence of elements $\langle a_\beta\mid \beta<\delta\rangle$. To distinguish the towers of models of size $\mu^+$ from those of size
\[uniqueness thm\ ] Let $ { \mathcal{K}}$ be an abstract elementary class which satisfies the joint embedding and amalgamation place. presuppose $ \mu$ is a cardinal $ \geq\operatorname{LS}({\mathcal{K}})$ and $ \theta_1 $ and $ \theta_2 $ are limit ordinals $ < \mu^+$. If $ { \mathcal{K}}$ is $ \mu$-superstable and satisfies $ \mu$-symmetry, then for $ M_1 $ and $ M_2 $ which are $ (\mu, \theta_1)$ and $ (\mu,\theta_2)$-limit model over $ N$, respectively, we have that $ M_1 $ is isomorphic to $ M_2 $ over $ N$. furthermore the limit model of cardinality $ \mu$ is saturated. 

 This is merely a restatement of Theorem 5 of [ @Va3 - SS ] and the proof of Theorem 1.9 of [ @GVV ]. 

 Combining Theorem \[uniqueness thm\ ] with Proposition \[mu - plus - limit\ ], we catch the following corollary. 

 \[limit is sat\ ] get $ { \mathcal{K}}$ be an abstract elementary course which satisfies the joint embedding and amalgamation place. Suppose $ \kappa$ is a cardinal $ \geq\operatorname{LS}({\mathcal{K}})$, and $ \theta$ is limit ordinal $ < \kappa^{++}$. 

 If $ { \mathcal{K}}$ is $ \kappa$-stable, $ \kappa^+$-superstable and satisfies $ \kappa^+$-symmetry, then any $ (\kappa^+,\theta)$-limit exemplar is also a $ (\kappa,\kappa^+)$-limit model. 

 Downward Symmetry Transfer { # downward incision } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this section we provide the proof of Theorem \[symmetry transfer\ ]. While the consequence follows from Theorem 4 and 5 of [ @Va3 - SS ], we include the proof here for completeness since [ @Va3 - SS ] is currently under review and has not so far been published. Additionally, the proof of Theorem \[symmetry transfer\ ] serves as the blueprint for the successor step for a more general result of transferring symmetry downward that appears in the unpublished work [ @VV ]. 

 In the proof of Theorem \[symmetry transfer\ ], we will be using towers composed of models of cardinality $ \mu$ and other tower composed of models of cardinality $ \mu^+$. These tugboat will be based on the same sequence of elements $ \langle a_\beta\mid \beta<\delta\rangle$. To identify the towers of models of size $ \mu^+$ from those of size
\[unieueness thm\] Let ${\mathcal{K}}$ be an abstract elemenvary clzss whicf satisfies the joint embeddmng qnd analgamation properties. Suppose $\lu$ is a xardmnal $\geq\operatorizme{LS}({\mabkcal{K}})$ wnd $\chxta_1$ and $\theta_2$ ate limit ordhnals $<\mu^+$. If ${\madhzap{K}}$ is $\mu$-superstable and satisfies $\mt$-symmetty, then for $M_1$ anq $M_2$ erich are $(\mu, \theta_1)$ and $(\mu,\theta_2)$-limit modsls oveg $N$, respectively, ee have that $M_1$ is isomorphlc tl $M_2$ over $N$. Moreoveg the limit modqo of cardinauity $\mu$ is saturated.

Thjs is just a restatement of Theurem 5 of [@Va3-SS] abd thf proof of Tieorem 1.9 of [@GVV].

Comblming Tveorem \[iniqueness thm\] wivh Peoposition \[mu-plus-limiv\], we get the followigg corolldrv.

\[limit is sat\] Let ${\matycql{K}}$ bg an dbstfqct eltmeitady clads xhich satisries the jount embedding and akajtamation propsrties. Stppose $\kappa$ is a cardinal $\geq\operatorndme{MS}({\mathcal{K}})$, and $\theta$ is limit ordinal $<\kappa^{++}$.

Iv ${\mathcal{H}}$ is $\kappa$-stable, $\kappa^+$-superstable and satisfies $\kdppa^+$-sbmoetxn, gyej any $(\kappa^+,\theta)$-limit model is also a $(\kappa,\ka[la^+)$-kikit model.

Downwcrd Symmetry Tramsvet {#downward secjion}
==========================

In cgia section we provife the kroof if Theorei \[sykmetry transfer\]. While the rwsult followf from Theorem 4 and 5 of [@Va3-SS], wz inclode thr proof here for compleceness since [@Va3-SS] is currehgly under review anc vas not yet been published. Additionelly, che proow of Theorqm \[symmetrj trakvfer\] serves as the bluekrint xor the sufcessor step for a more general result of tramsxerging symmztry dpwnward that wppears in the unpublnshed dork [@VV].

In nhe proof of Theorem \[symmetry tratdfer\], we will be usind toqers composda of models of cardinalptv $\mu$ and ither towers compoxed kf models of caxbibality $\mu^+$. These toderf aikl te based on dhe ramd sequdnce of elendnts $\langle a_\beta\mid \betd<\delfa\rangle$. To distinbulsh the tiwers of models of siae $\mu^+$ from those ov sizx
\[uniqueness thm\] Let ${\mathcal{K}}$ be an abstract which the joint and amalgamation properties. $\geq\operatorname{LS}({\mathcal{K}})$ $\theta_1$ and $\theta_2$ limit ordinals $<\mu^+$. ${\mathcal{K}}$ is $\mu$-superstable and satisfies $\mu$-symmetry, for $M_1$ and $M_2$ which are $(\mu, \theta_1)$ and $(\mu,\theta_2)$-limit models over $N$, we have that $M_1$ is isomorphic to $M_2$ over $N$. Moreover the limit of $\mu$ saturated. is just a restatement of Theorem 5 of [@Va3-SS] and the proof of Theorem 1.9 of Combining Theorem \[uniqueness thm\] with Proposition \[mu-plus-limit\], we the following corollary. \[limit sat\] Let ${\mathcal{K}}$ be an elementary which satisfies joint and properties. Suppose $\kappa$ a cardinal $\geq\operatorname{LS}({\mathcal{K}})$, and $\theta$ is limit ordinal $<\kappa^{++}$. If ${\mathcal{K}}$ is $\kappa$-stable, $\kappa^+$-superstable and satisfies $\kappa^+$-symmetry, any $(\kappa^+,\theta)$-limit also a model. Symmetry {#downward section} ========================== section we provide the proof of While the result follows from Theorem 4 and of [@Va3-SS], include the proof here for completeness [@Va3-SS] is currently under review and has not been published. Additionally, the proof of Theorem \[symmetry transfer\] serves as the blueprint for the for a more general of transferring symmetry that in unpublished [@VV]. In proof of Theorem \[symmetry transfer\], we will be using towers composed models of cardinality $\mu$ and other towers composed of models $\mu^+$. towers will be on the same sequence elements a_\beta\mid \beta<\delta\rangle$. To distinguish of of those size
\[uniqueness thm\] Let ${\mathcal{K}}$ bE an abstracT elemEntAry ClAss wHich Satisfies the joINt emBedding and amalgamation PropeRtIEs. SuPPoSe $\mu$ iS a cardiNAl $\GEQ\opErAtOrnAmE{lS}({\MathcAl{K}})$ And $\thetA_1$ and $\theta_2$ aRe lImIt ordinals $<\mu^+$. iF ${\mAthcal{K}}$ is $\mU$-suPerstable and SatIsfies $\Mu$-SymMEtry, tHen For $M_1$ aNd $M_2$ whiCH are $(\mu, \Theta_1)$ and $(\mU,\tHEta_2)$-limIT models OVEr $n$, resPectively, we have thAT $M_1$ IS isomorphic to $M_2$ Over $N$. MOrEOvER The LimIt model of cArDinalITy $\mu$ is sATuRATEd.

THIs is just a restAtement of ThEOreM 5 of [@Va3-Ss] aNd tHE proof Of TheOrEM 1.9 of [@gVV].

CombininG TheOrem \[uniquEness tHM\] with PrOPositioN \[mu-pluS-liMit\], We geT ThE fOllOwINg cORoLlaRY.

\[liMit is sat\] leT ${\mAthcaL{K}}$ be AN ABStraCt eLemeNtary Class which satIsfIes tHE joInt emBeddiNg anD aMalgaMation PropeRtIes. Suppose $\kappa$ Is a cArdinal $\geQ\opErAtoRnAme{LS}({\MAthcal{k}})$, anD $\thEta$ is liMit ordiNAl $<\kApPA^{++}$.

iF ${\mAthcal{K}}$ is $\kappa$-stabLe, $\KAPpA^+$-superstAble anD SaTiSFies $\kappA^+$-sYmmEtry, THEn any $(\KappA^+,\ThEta)$-limit Model iS AlSo A $(\kappa,\kApPa^+)$-limiT mOdeL.

DoWnwarD symmEtry TrAnsfer {#doWnwarD Section}
==========================

In this sECtion we providE ThE PRoOF of THeoRem \[symmetry TranSFer\]. WHile THe ResULt folLows fRoM thEOrem 4 and 5 of [@Va3-SS], we inclUdE the prOof heRe for completeNess since [@VA3-ss] Is currenTly uNDeR Review and has noT yet bEen publishED. AdditioNally, The proof Of Theorem \[SYMmetry trAnsFer\] SerVes AS ThE blueprint for THE sucCeSsor steP foR a more gEneRal ResUlt Of TransferrIng symmeTrY dOwNwArd That aPPears in tHe UnpUbLisHed woRK [@VV].

In tHe proOf of thEoREm \[sYmmetry TRaNSFer\], wE wIlL be uSinG tOwers CompOSed Of modelS of cardinAliTY $\mu$ aNd OtHer toweRs composed of mOdEls of cardiNaLitY $\mu^+$. TheSE Towers wiLl be based on the same sequeNCe of eleMenTs $\lanGle a_\Beta\mid \beTa<\dElta\raNglE$. to distInguisH the tOwErs OF ModelS OF sIze $\Mu^+$ From those oF SIze
\[uniqueness thm\] Let ${\ mathcal{K} }$ be  an  ab st ract  ele mentary classw hich  satisfies the joint e mbedd in g  and am algam ation p r op e r tie s.  S upp os e  $ \mu$isa cardi nal $\geq\ ope ra torname{LS}( { \m athcal{K}} )$and $\theta_ 1$and $\ th eta _ 2$ ar e l imitordina l s $<\m u^+$. If${ \ mathca l {K}}$ i s $\ mu$- superstable and s a ti s fies $\mu$-sym metry,  t h en f or$M_ 1$ and $M_ 2$  whic h  are $( \ mu , \ the t a_1)$ and $(\ mu,\theta_2 ) $-l imit m od els over $ N$, r es p ect ively, we h avethat $M_1 $ is i s omorphi c  to $M_ 2$ ove r $ N$.  Mor e ov er  th el imi t  m ode l  of  cardina li ty  $\mu $ is s a t urat ed. 

Th is is  just a resta tem ento f T heore m 5 o f [@ Va 3-SS]  and t he pr oo f of Theorem 1. 9 of  [@GVV].
Co mb ini ng  Theo r em \[u niq uen ess thm \] with Pro po s i t io n \[mu-plus-limit\ ], w eget thefollow i ng  c o rollary. 
\[l imit i s sat \] L e t${\mathc al{K}} $  b ean abst ra ct ele me nta ryclass whic h sati sfies th e joi n t embedding an d  amalgamation pr o p er t ies.  Su ppose $\kap pa$i s acard i na l $ \ geq\o perat or n am e {LS}({\mathcal{K}}) $,  and $ \thet a$ is limit o rdinal $<\ k a p pa^{++}$ .

I f  $ { \mathcal{K}}$is $\ kappa$-sta b le, $\ka ppa^+ $-supers table and s atisfies  $\ kap pa^ +$- s y mm etry, then an y $(\k ap pa^+,\t het a)$-lim itmod elisal so a $(\k appa,\ka pp a^ +) $- lim it mo d el.

Dow nw ard  S ymm etryT ransfe r {#d ownw ar ds ect ion}
== = == = = ==== == == ==== === == ==

I n th i s s ectionwe provid e t h e pr oo fof Theo rem \[symmetr ytransfer\] .Whi le the r esult fo llows from Theorem 4 an d  5 of [ @Va 3-SS] , we  includethe  proof  he r e forcomple tenes ssin c e  [@Va 3 - SS ] i scurrentlyu n der  revi ew  and  has no t yet been publish e d.Additionally,  th e pr o o fofT he o rem  \ [ sym m e try transfer\]serves asth e  b lueprint f o r t he  succes sor ste p for a moregeneral r esult oftr ansf e r rin g symmetry  downwar d that ap p earsi nthe u npu blishe dwor k [@V V].

I n  th e pro of ofTh eorem\[sym me try tran sfer\], we will be usin g towe rs co mpo sed of mo del s  of  cardinal ity$\mu$ andoth ertower s c o mpose d of mo del s  of c ardi n ality $\m u ^+ $.T h es e towers wi l l bebased  on the sa me s equence of elemen t s $\langle a_\ beta \ m id\be t a<\d el ta\rangle$. To  di st i n guish th etowers of m odels of  s i ze $\ mu^+$from t hose of s iz e 
\[uniqueness thm\]_Let ${\mathcal{K}}$_be an abstract elementary_class which_satisfies_the joint_embedding_and amalgamation properties._Suppose $\mu$ is_a cardinal $\geq\operatorname{LS}({\mathcal{K}})$ and_$\theta_1$ and $\theta_2$_are_limit ordinals $<\mu^+$. If ${\mathcal{K}}$ is $\mu$-superstable and satisfies $\mu$-symmetry, then for $M_1$ and_$M_2$_which are_$(\mu,_\theta_1)$_and $(\mu,\theta_2)$-limit models over $N$,_respectively, we have that $M_1$_is isomorphic_to $M_2$ over $N$. Moreover the limit model_of_cardinality $\mu$ is_saturated.

This is just a restatement of Theorem 5 of_[@Va3-SS] and the proof of Theorem_1.9 of [@GVV].

Combining_Theorem_\[uniqueness_thm\] with Proposition \[mu-plus-limit\],_we get the following corollary.

\[limit is_sat\] Let ${\mathcal{K}}$ be an abstract_elementary class which satisfies the joint embedding_and amalgamation properties. Suppose $\kappa$ is_a cardinal $\geq\operatorname{LS}({\mathcal{K}})$, and $\theta$_is limit_ordinal $<\kappa^{++}$.

If ${\mathcal{K}}$ is $\kappa$-stable,_$\kappa^+$-superstable and satisfies_$\kappa^+$-symmetry, then_any $(\kappa^+,\theta)$-limit model_is also a $(\kappa,\kappa^+)$-limit model.

Downward Symmetry_Transfer {#downward section}
==========================

In_this section we provide the proof_of_Theorem \[symmetry transfer\]._While_the_result follows_from Theorem 4_and_5 of_[@Va3-SS],_we include the proof here for_completeness_since [@Va3-SS] is currently under review and_has not yet been_published._Additionally, the proof of_Theorem \[symmetry transfer\] serves as_the blueprint for the successor step_for a_more general_result of transferring symmetry downward that appears in the unpublished work_[@VV].

In the proof of Theorem \[symmetry_transfer\], we will be_using towers_composed_of models of_cardinality_$\mu$ and_other towers composed of models of cardinality_$\mu^+$. These_towers will be based on the_same sequence of elements_$\langle_a_\beta\mid \beta<\delta\rangle$. To distinguish the towers_of models of size $\mu^+$ from_those of size