1}$. Indeed, suppose $ X^{n-1}$ and $f_{n-1}$ have been constructed. Then we obtain an exact sequence $$0\rightarrow \ker d_{n-1} \rightarrow  \pi^{-}_{n-1}( X^{n-1}/ X^{n-2}) \xrightarrow{d_{n-1}} \ldots   \xrightarrow{d_2}\pi^{-}_{1}( X^{1}/ X^{0})  \xrightarrow{d_1}  \pi^{-}_{0}( X^{0})  \xrightarrow{d_0} \underline{A}\rightarrow 0.$$ Since there exists a free resolution of $\underline{A}$ in $\mathrm{Mack}_{\mathcal{F}}G$ consisting of finitely generated free modules, an application of Schanuel’s lemma (e.g. see [@brown Lemma VIII.4.4]) in this setting shows that $\ker d_{n-1} $ is finitely generated, i.e. there exists a surjection of Mackey functors $$F= \bigoplus_{i \in I_{n}} \mathbb{Z}^G[-,H_i ] \rightarrow \ker d_n$$ where $I_n$ is finite and $H_i \in \mathcal{F}$ for all $i \in I_n$. This gives us an exact sequence of Mackey functors $$F \rightarrow  \pi^{-}_{n-1}( X^{n-1}/ X^{n-2}) \xrightarrow{d_{n-1}} \ldots   \xrightarrow{d_2}\pi^{-}_{1}( X^{1}/ X^{0})  \xrightarrow{d_1}  \pi^{-}_{0}( X^{0})  \xrightarrow{d_0} \underline{A}\rightarrow 0$$ If we now apply the procedure of Section \[sec: hard\] starting from (\[eq: freeres1\]), one checks that we obtain the desired $G$-spectrum $X^n$. Since each map $f_n$ is $n$-connected, we have $$\mathrm{hocolim}_n X^n \cong S^0.$$

In conclusion, we have constructed a stable model for $\underline{E}G$ that is of finite type. This shows that (2) implies (1), hence (1), (2),(3) and (4) are all equivalent. The
1}$. Indeed, suppose $ X^{n-1}$ and $ f_{n-1}$ have been constructed. Then we obtain an exact succession $ $ 0\rightarrow \ker d_{n-1 } \rightarrow   \pi^{-}_{n-1 } (X^{n-1}/ X^{n-2 }) \xrightarrow{d_{n-1 } } \ldots    \xrightarrow{d_2}\pi^{-}_{1 } (X^{1}/ X^{0 })   \xrightarrow{d_1 }   \pi^{-}_{0 } (X^{0 })   \xrightarrow{d_0 } \underline{A}\rightarrow 0.$$ Since there exist a free resolution of $ \underline{A}$ in $ \mathrm{Mack}_{\mathcal{F}}G$ consist of finitely render free modules, an lotion of Schanuel ’s lemma (e.g.   see [ @brown Lemma VIII.4.4 ]) in this setting show that $ \ker d_{n-1 } $ is finitely generated, i.e.   there exists a surjection of Mackey functors $ $ F= \bigoplus_{i \in I_{n } } \mathbb{Z}^G[-,H_i ] \rightarrow \ker d_n$$ where $ I_n$ is finite and $ H_i \in \mathcal{F}$ for all $ i \in I_n$. This give us an exact sequence of Mackey functors $ $ F \rightarrow   \pi^{-}_{n-1 } (X^{n-1}/ X^{n-2 }) \xrightarrow{d_{n-1 } } \ldots    \xrightarrow{d_2}\pi^{-}_{1 } (X^{1}/ X^{0 })   \xrightarrow{d_1 }   \pi^{-}_{0 } (X^{0 })   \xrightarrow{d_0 } \underline{A}\rightarrow 0$$ If we immediately give the procedure of Section \[sec: hard\ ] depart from (\[eq: freeres1\ ]), one checks that we obtain the desire $ G$-spectrum $ X^n$. Since each map $ f_n$ is $ n$-connected, we have $ $ \mathrm{hocolim}_n X^n \cong S^0.$$ 

 In conclusion, we have construct a stable model for $ \underline{E}G$ that is of finite type. This shows that (2) imply (1), hence (1), (2),(3) and (4) are all equivalent. The
1}$. Infeed, suppose $ X^{n-1}$ and $f_{n-1}$ mave been constrocred. Thxn we ogtain an exact sequence $$0\rightarrow \kxr d_{b-1} \rigytarrow  \pi^{-}_{n-1}( X^{n-1}/ X^{n-2}) \xriehtarrow{d_{j-1}} \ldots   \xrmghtarrow{d_2}\pi^{-}_{1}( X^{1}/ X^{0})  \xrightarrow{d_1}  \pi^{-}_{0}( R^{0})  \xrightarrow{d_0} \onderline{A}\richtarrow 0.$$ Sinca ghzre exists a free resolution of $\undewline{A}$ on $\mathrm{Mack}_{\matrcal{G}}D$ cohsisting of finitely generated fres modults, an application pf Schanuel’s lemma (e.g. see [@bgown Lemma VIII.4.4]) in thid setting syows rhat $\ker d_{n-1} $ is finitely generated, i.e. there exists a surjection of Mackzy functors $$F= \bihmplus_{i \in I_{i}} \mathfb{Z}^G[-,H_i ] \righbsrrow \ner d_n$$ ehere $I_n$ is fikite end $Y_i \in \mathcal{F}$ for aln $i \in I_n$. This givgs us an efaet sequence of Mackey fynctots $$F \sighgqrruw  \pm^{-}_{n-1}( S^{n-1}/ X^{n-2}) \drijhtarrow{d_{n-1}} \mdots   \xrithtarrow{d_2}\pi^{-}_{1}( X^{1}/ X^{0})  \xrogrnsrrow{d_1}  \pi^{-}_{0}( X^{0})  \xrigrtwrrow{d_0} \underline{A}\rightarrow 0$$ If we now dppmy the procedure of Secrion \[sec: hard\] startinh from (\[eq: freeres1\]), one checks that we obtain the desired $G$-s[ectrnm $X^n$. Slnce wafh map $f_n$ is $n$-connected, we have $$\mathrm{hocolim}_g X^m \bong S^0.$$

In conclusijn, we have vojsytucted a stablg model fod $\underline{E}G$ that is of sinitw type. Thys snows that (2) implies (1), hence (1), (2),(3) and (4) are alj equivalent. The
1}$. Indeed, suppose $ X^{n-1}$ and $f_{n-1}$ constructed. we obtain exact sequence $$0\rightarrow X^{n-2}) \ldots \xrightarrow{d_2}\pi^{-}_{1}( X^{1}/ \xrightarrow{d_1} \pi^{-}_{0}( X^{0}) \underline{A}\rightarrow 0.$$ Since there exists a resolution of $\underline{A}$ in $\mathrm{Mack}_{\mathcal{F}}G$ consisting of finitely generated free modules, an application Schanuel’s lemma (e.g. see [@brown Lemma VIII.4.4]) in this setting shows that $\ker $ finitely i.e. exists a surjection of Mackey functors $$F= \bigoplus_{i \in I_{n}} \mathbb{Z}^G[-,H_i ] \rightarrow \ker d_n$$ where is finite and $H_i \in \mathcal{F}$ for all \in I_n$. This gives an exact sequence of Mackey $$F \pi^{-}_{n-1}( X^{n-1}/ \xrightarrow{d_{n-1}} \xrightarrow{d_2}\pi^{-}_{1}( X^{0}) \xrightarrow{d_1} \pi^{-}_{0}( \xrightarrow{d_0} \underline{A}\rightarrow 0$$ If we now apply the procedure of Section \[sec: hard\] starting from (\[eq: freeres1\]), checks that the desired $X^n$. each $f_n$ is $n$-connected, $$\mathrm{hocolim}_n X^n \cong S^0.$$ In conclusion, a stable model for $\underline{E}G$ that is of type. This that (2) implies (1), hence (1), and (4) are all equivalent. The
1}$. Indeed, suppose $ X^{n-1}$ and $f_{n-1}$ have bEen construCted. THen We oBtAin aN exaCt sequence $$0\righTArroW \ker d_{n-1} \rightarrow  \pi^{-}_{n-1}( X^{n-1}/ X^{N-2}) \xrigHtARrow{D_{N-1}} \lDots   \xRightarROw{D_2}\PI^{-}_{1}( X^{1}/ X^{0})  \XrIgHtaRrOW{d_1}  \Pi^{-}_{0}( X^{0})  \xrIghTarrow{d_0} \Underline{A}\RigHtArrow 0.$$ Since thERe Exists a freE reSolution of $\unDerLine{A}$ iN $\mAthRM{Mack}_{\MatHcal{F}}g$ consiSTing of Finitely gEnERated fREe modulES, An ApplIcation of Schanuel’S LeMMa (e.g. see [@brown LeMma VIIi.4.4]) iN ThIS SetTinG shows that $\KeR d_{n-1} $ is FInitely GEnERATed, I.E. there exists a Surjection oF macKey funCtOrs $$f= \BigoplUs_{i \in i_{n}} \MAthBb{Z}^G[-,H_i ] \rightArroW \ker d_n$$ wheRe $I_n$ is FInite anD $h_i \in \matHcal{F}$ fOr aLl $i \In I_n$. tHiS gIveS uS An eXAcT seQUenCe of MackEy FuNctorS $$F \riGHTARrow  \Pi^{-}_{n-1}( x^{n-1}/ X^{n-2}) \XrighTarrow{d_{n-1}} \ldots   \XriGhtaRRow{D_2}\pi^{-}_{1}( X^{1}/ X^{0})  \XrighTarrOw{D_1}  \pi^{-}_{0}( X^{0})  \xRightaRrow{d_0} \UnDerline{A}\rightarRow 0$$ IF we now appLy tHe ProCeDure oF sectioN \[seC: haRd\] startIng from (\[EQ: frEeRES1\]), OnE checks that we obtaiN tHE DeSired $G$-spEctrum $x^N$. SInCE each map $F_n$ Is $n$-ConnECTed, we Have $$\MAtHrm{hocolIm}_n X^n \cONg s^0.$$

IN concluSiOn, we haVe ConStrUcted A StabLe modeL for $\undeRline{e}g$ that is of finitE Type. This shows THaT (2) IMpLIes (1), hEncE (1), (2),(3) and (4) are all eQuivALent. the
1}$. Indeed, suppose $ X^{ n-1}$ and$f_{n -1} $ h av e be en c onstructed. Th e n we  obtain an exact seque nce $ $0 \ righ t ar row \ ker d_{ n -1 } \ri gh ta rro w\p i^{-} _{n -1}( X^ {n-1}/ X^{ n-2 })  \xrightarro w {d _{n-1}} \l dot s   \xrighta rro w{d_2} \p i^{ - }_{1} ( X ^{1}/  X^{0} )   \xri ghtarrow{ d_ 1 }  \pi ^ {-}_{0} ( X^ {0})   \xrightarrow{d_ 0 }\ underline{A}\r ightar ro w  0 . $ $ S inc e there ex is ts af ree res o lu t i o n o f  $\underline{ A}$ in $\ma t hrm {Mack} _{ \ma t hcal{F }}G$co n sis ting of fin itel y generat ed fre e  module s , an ap plicat ion  of  Sch a nu el ’sle m ma( e. g.s ee[@brownLe mm a VII I.4. 4 ] ) in t his  set tingshows that $\ ker  d_{ n -1}  $ is  fini tely  g enera ted, i .e. t he re exists a sur ject ion of Ma cke yfun ct ors $ $ F= \bi gop lus _{i \in  I_{n}} \ma th b b { Z} ^G[-,H_i ] \righta rr o w  \ ker d_n$ $ wher e  $ I_ n $ is fin it e a nd $ H _ i \in  \ma t hc al{F}$ f or all $i  \ in I_n$ .This g iv esusan ex a ct s equenc e of Mac key f u nctors $$F \ri g htarrow  \pi^ { -} _ { n- 1 }( X ^{n -1}/ X^{n-2 }) \ x righ tarr o w{ d_{ n -1}}\ldot s \ x rightarrow{d_2}\pi^ {- }_{1}(  X^{1 }/ X^{0})  \x rightarrow { d _ 1}  \pi^ {-}_ { 0} (  X^{0})  \xrig htarr ow{d_0} \u n derline{ A}\ri ghtarrow  0$$ If w e now appl y t hepro ced u r eof Section \[ s e c: h ar d\] sta rti ng from  (\ [eq : f ree re s1\]), on e checks  t ha twe  ob taint he desir ed  $G $- spe ctrum $X^n$.  Sinc e ea ch  m a p $ f_n$ is $n $ - conn ec te d, w e h av e $$\ math r m{h ocolim} _n X^n \c ong S^0. $$ 
In conc lusion, we ha ve  construct ed  astable m odel for  $\underline{E}G$ thati s of fi nit e typ e. T his shows  th at (2)  im p lies ( 1), he nce ( 1) , ( 2 ) ,(3)a n d(4)  a re all equ i v ale nt. T he 
1}$. Indeed,_suppose $_X^{n-1}$ and $f_{n-1}$ have_been constructed._Then_we obtain_an_exact sequence $$0\rightarrow_\ker d_{n-1} \rightarrow_ \pi^{-}_{n-1}( X^{n-1}/ X^{n-2})_\xrightarrow{d_{n-1}} \ldots __\xrightarrow{d_2}\pi^{-}_{1}( X^{1}/ X^{0})  \xrightarrow{d_1}  \pi^{-}_{0}( X^{0})  \xrightarrow{d_0} \underline{A}\rightarrow 0.$$ Since there_exists_a free_resolution_of_$\underline{A}$ in $\mathrm{Mack}_{\mathcal{F}}G$ consisting of_finitely generated free modules, an_application of_Schanuel’s lemma (e.g. see [@brown Lemma VIII.4.4]) in this_setting_shows that $\ker_d_{n-1} $ is finitely generated, i.e. there exists a surjection_of Mackey functors $$F= \bigoplus_{i \in_I_{n}} \mathbb{Z}^G[-,H_i ]_\rightarrow_\ker_d_n$$ where $I_n$ is_finite and $H_i \in \mathcal{F}$ for_all $i \in I_n$. This gives_us an exact sequence of Mackey functors_$$F \rightarrow  \pi^{-}_{n-1}( X^{n-1}/ X^{n-2})_\xrightarrow{d_{n-1}} \ldots   \xrightarrow{d_2}\pi^{-}_{1}(_X^{1}/ X^{0})_ \xrightarrow{d_1}  \pi^{-}_{0}( X^{0})_ \xrightarrow{d_0} \underline{A}\rightarrow_0$$ If_we now apply_the procedure of Section \[sec: hard\]_starting from (\[eq:_freeres1\]), one checks that we obtain_the_desired $G$-spectrum $X^n$._Since_each_map $f_n$_is $n$-connected, we_have_$$\mathrm{hocolim}_n X^n_\cong_S^0.$$

In conclusion, we have constructed a_stable_model for $\underline{E}G$ that is of finite_type. This shows that_(2)_implies (1), hence (1),_(2),(3) and (4) are all_equivalent. The