 $C$ has no first generation ancestors, i.e. $\mathcal{A}^\Lambda_1(C)=\emptyset$, then the value of its flag $u$ alone will determine whether $C$ is kept or not. Otherwise, the value of $u$ will decide if $C$ is kept once we determine the fate of all the first generation ancestors of $C$.

2.  To decide whether any given first generation ancestor $\tilde{C} \in \mathcal{A}^\Lambda_1(C)$ is kept, one must repeat step (i) for $\tilde{C}$ instead of $C$.

3.  Since the clan of ancestors of $C$ restricted to $\Lambda$ possesses only a finite number of generations, one must go backwards in time and examine a previous generation of ancestors only a finite amount of times (at most $N$ times) so that it is ultimately possible to determine whether $C$ is kept.

Therefore, we are left to answer the question of under which conditions do the clans of ancestors restricted to $\Lambda$ possess only a finite amount of generations. Fortunately, under Assumptions \[assump\] this is always the case. This is the content of the following proposition.

\[localfinit\] For every $\Lambda \in {{\mathcal B}}^0_S$ we have that $\A^{t,\Lambda}(\Lambda \times G)$ is finite for all $t \in {{\mathbb R}}$.

Since $\Pi$ is a stationary process whose invariant measure $\pi^\nu$ satisfies $$\pi^\nu( \{ \xi \in \mathcal{N}(S \times G) : \xi( \Lambda \times G) = 0 \} ) = e^{-\nu(\Lambda \times G)} > 0$$ we have that the entrance times $(t_i(\Lambda))_{i \in {{\mathbb{Z}}}}$ to the set $\{ \xi \in \mathcal{N}(S \times G) : \xi( \Lambda \times G) = 0 \}$ are well defined and satisfy $t_i(\Lambda) \rightarrow \pm \infty$ as $i \rightarrow \pm \infty$. In particular, for every $t \in {{\mathbb R}}$ there exists $i_0 \in {{\mathbb{Z}}}$ such that $t_{i_0-1}(\Lambda) \leq t < t_{i_0}(\Lambda)$. Since $\Pi_{t_i
$ C$ has no first generation ancestors, i.e. $ \mathcal{A}^\Lambda_1(C)=\emptyset$, then the value of its pin $ u$ entirely will determine whether $ C$ is kept or not. differently, the value of $ u$ will decide if $ C$ is kept once we decide the fate of all the inaugural generation ancestors of $ C$. 

 2.   To decide whether any contribute first generation ancestor $ \tilde{C } \in \mathcal{A}^\Lambda_1(C)$ is keep, one must repeat footprint (iodine) for $ \tilde{C}$ instead of $ C$. 

 3.   Since the clan of ancestors of $ C$ restricted to $ \Lambda$ possesses merely a finite number of generations, one must go backward in time and examine a previous generation of ancestor only a finite measure of times (at most $ N$ times) so that it is ultimately potential to determine whether $ C$ is kept. 

 Therefore, we are left to answer the question of under which conditions do the clans of ancestors restricted to $ \Lambda$ possess only a finite amount of generations. Fortunately, under Assumptions \[assump\ ] this is always the case. This is the content of the follow proposition. 

 \[localfinit\ ] For every $ \Lambda \in { { \mathcal B}}^0_S$ we have that $ \A^{t,\Lambda}(\Lambda \times G)$ is finite for all $ t \in { { \mathbb R}}$. 

 Since $ \Pi$ is a stationary procedure whose invariant measure $ \pi^\nu$ satisfies $ $ \pi^\nu (\ { \xi \in \mathcal{N}(S \times G): \xi (\Lambda \times G) = 0 \ }) = e^{-\nu(\Lambda \times G) } > 0$$ we have that the entrance times $ (t_i(\Lambda))_{i \in { { \mathbb{Z}}}}$ to the fixed $ \ { \xi \in \mathcal{N}(S \times G): \xi (\Lambda \times G) = 0 \}$ are well specify and satisfy $ t_i(\Lambda) \rightarrow \pm \infty$ as $ i \rightarrow \pm \infty$. In particular, for every $ thyroxine \in { { \mathbb R}}$ there exists $ i_0 \in { { \mathbb{Z}}}$ such that $ t_{i_0 - 1}(\Lambda) \leq t < t_{i_0}(\Lambda)$. Since $ \Pi_{t_i
 $C$ jas no first generation xncestors, i.e. $\majhxal{A}^\Lakbda_1(C)=\ejptyset$, ghen the value of its flag $u$ aoone qill determine whether $C$ is kepn or not. Ithecwise, the value of $u$ will decisc if $E$ ms kept once we determine the fate of anl tke first generation ancestors of $C$.

2.  Eo decice whether any gyven sirsf generation ancestor $\tilde{C} \in \mafhcal{A}^\Lembda_1(C)$ is kept, pne must repeat step (i) for $\tilfe{C}$ instead of $C$.

3.  Dince the coan jd ancestors uf $C$ restrpeted to $\Lamgda$ possesses only a finite numcer oy generatiobs, onf must go barkwardf in time and examina a prefious generatipn mf qncestors only a finive amount of times (aj most $N$ thmzs) so that it is ultinarely kossitle gi ddtedmmne whethfr $R$ is kept.

Thsrefore, we qre left to answer uhe wuestion of uhder wrish conditions do the clans of ancestors reatricted to $\Lambda$ posswss only a finite amoont of genqrations. Fortunately, under Assumptions \[assump\] thiv is eldayw bhe zqsf. This is the content of the following proposyfipn.

\[kocalfinit\] For every $\Lambca \im {{\mathcal B}}^0_S$ wg have cgaf $\A^{t,\Lambda}(\Lambda \tlmes G)$ ys fibite for wll $y \in {{\mathbb R}}$.

Since $\Pi$ is a wtationary pgocews whose invariant measure $\pi^\uu$ satosfiex $$\pi^\nu( \{ \xi \in \mathcal{N}(S \timss G) : \xi( \Lalbda \timea G) = 0 \} ) = e^{-\nu(\Lambdx \tpmes G)} > 0$$ we have that the entrwnce timew $(t_i(\Kambda))_{i \in {{\kathbb{S}}}}$ to the sft $\{ \xl \in \mathcal{N}(S \timed G) : \ri( \Lakbda \times G) = 0 \}$ are well defined and satisfy $t_i(\Lambda) \rogvtagrow \pm \iufty$ ax $i \rightarror \pm \infty$. In karticulax, for dvery $t \in {{\mathbb R}}$ there exysts $i_0 \in {{\matvhb{Z}}}$ such thav $t_{i_0-1}(\Lambdw) \lew t < t_{i_0}(\Lambax)$. Since $\Pi_{t_i
$C$ has no first generation ancestors, i.e. the of its $u$ alone will or Otherwise, the value $u$ will decide $C$ is kept once we determine fate of all the first generation ancestors of $C$. 2. To decide whether given first generation ancestor $\tilde{C} \in \mathcal{A}^\Lambda_1(C)$ is kept, one must repeat step for instead $C$. Since the clan of ancestors of $C$ restricted to $\Lambda$ possesses only a finite number of one must go backwards in time and examine previous generation of ancestors a finite amount of times most times) so it ultimately to determine whether is kept. Therefore, we are left to answer the question of under which conditions do the clans ancestors restricted possess only finite of Fortunately, under Assumptions is always the case. This is the following proposition. \[localfinit\] For every $\Lambda \in B}}^0_S$ we that $\A^{t,\Lambda}(\Lambda \times G)$ is finite all $t \in {{\mathbb R}}$. Since $\Pi$ is stationary process whose invariant measure $\pi^\nu$ satisfies $$\pi^\nu( \{ \xi \in \mathcal{N}(S \times G) : \times G) = 0 ) = e^{-\nu(\Lambda G)} 0$$ have the entrance $(t_i(\Lambda))_{i \in {{\mathbb{Z}}}}$ to the set $\{ \xi \in \mathcal{N}(S \times : \xi( \Lambda \times G) = 0 \}$ are well satisfy \rightarrow \pm \infty$ $i \rightarrow \pm \infty$. particular, every $t \in {{\mathbb exists \in $t_{i_0-1}(\Lambda) t t_{i_0}(\Lambda)$. Since $\Pi_{t_i
 $C$ has no first generation anceStors, i.e. $\matHcal{A}^\lamBda_1(c)=\eMptySet$, tHen the value of iTS flaG $u$ alone will determine whEther $c$ iS Kept OR nOt. OthErwise, tHE vALUe oF $u$ WiLl dEcIDe If $C$ is KepT once we Determine tHe fAtE of all the firST gEneration aNceStors of $C$.

2.  To deCidE whethEr Any GIven fIrsT geneRation ANcestoR $\tilde{C} \in \MaTHcal{A}^\LAMbda_1(C)$ is KEPt, One mUst repeat step (i) for $\TIlDE{C}$ instead of $C$.

3.  SiNce the ClAN oF ANceStoRs of $C$ restrIcTed to $\lAmbda$ poSSeSSES onLY a finite numbeR of generatiONs, oNe must Go BacKWards iN time AnD ExaMine a previoUs geNeration oF ancesTOrs only A Finite aMount oF tiMes (At moST $N$ TiMes) So THat IT iS ulTImaTely possIbLe To detErmiNE WHEtheR $C$ iS kepT.

TherEfore, we are lefT to AnswER thE quesTion oF undEr Which ConditIons dO tHe clans of ancestOrs rEstricted To $\LAmBda$ PoSsess ONly a fiNitE amOunt of gEneratiONs. FOrTUNAtEly, under AssumptionS \[aSSUmP\] this is aLways tHE cAsE. this is thE cOntEnt oF THe folLowiNG pRopositiOn.

\[locaLFiNiT\] For eveRy $\lambda \In {{\MatHcaL B}}^0_S$ we HAve tHat $\A^{t,\LAmbda}(\LamBda \tiMEs G)$ is finite for ALl $t \in {{\mathbb R}}$.

SINcE $\pI$ iS A staTioNary process WhosE InvaRianT MeAsuRE $\pi^\nu$ SatisFiES $$\pI^\Nu( \{ \xi \in \mathcal{N}(S \timeS G) : \Xi( \LambDa \timEs G) = 0 \} ) = e^{-\nu(\Lambda \tImes G)} > 0$$ we havE THAt the entRancE TiMEs $(t_i(\Lambda))_{i \in {{\mAthbb{z}}}}$ to the set $\{ \xI \In \mathcaL{N}(S \tiMes G) : \xi( \LaMbda \times g) = 0 \}$ ARe well deFinEd aNd sAtiSFY $t_I(\Lambda) \rightaRROw \pm \InFty$ as $i \rIghTarrow \pM \inFty$. in pArtIcUlar, for evEry $t \in {{\maThBb r}}$ tHeRe eXists $I_0 \In {{\mathbb{z}}}$ sUch ThAt $t_{I_0-1}(\LambDA) \leq t < t_{I_0}(\LambDa)$. SiNcE $\PI_{T_i
 $C$ has no first generati on ancesto rs, i .e.  $\ ma thca l{A} ^\Lambda_1(C)= \ empt yset$, then the valueof it sf lag$ u$  alon e willd et e r min ewh eth er $C $ iskep t or no t. Otherwi se,  t he value of$ u$  will deci deif $C$ is ke ptonce w edet e rmine  th e fat e of a l l thefirst gen er a tion a n cestors o f$C$. 

2.  To decide w h et h er any given f irst g en e ra t i onanc estor $\ti ld e{C}\ in \mat h ca l { A }^\ L ambda_1(C)$ i s kept, one mus t repe at  st e p (i)for $ \t i lde {C}$ instea d of  $C$.

3.   Sinc e  the cl a n of an cestor s o f $ C$ r e st ri cte dt o $ \ La mbd a $ p ossesses  o nl y a f init e n u mber  of  gen erati ons, one must  go  bac k war ds in  time  and  e xamin e a pr eviou sgeneration of a nces tors only  afi nit eamoun t  of ti mes  (a t most$N$ tim e s)so t h at  it is ultimatelypo s s ib le to de termin e  w he t her $C$is  ke pt.T heref ore, we  are lef t to a n sw er  the qu es tion o fund erwhich cond itions  do theclans of ancestors r e stricted to $ \ La m b da $  pos ses s only a fi nite amou nt o f  g ene r ation s. Fo rt u na t ely, under Assumpti on s \[as sump\ ] this is alw ays the ca s e .  This is  the co n tent of the fo llowi ng proposi t ion.

\[ local finit\]For every $ \Lambda\in  {{ \ma thc a l  B }}^0_S$ we ha v e  tha t$\A^{t, \La mbda}(\ Lam bda  \t ime sG)$ is fi nite for  a ll  $ t\in  {{\m a thbb R}} $. 

S in ce$\Pi$ is a s tatio nary  p ro c ess  whosei nv a r iant  m ea sure  $\ pi ^\nu$  sat i sfi es $$\p i^\nu( \{  \x i  \in  \ ma thcal{N }(S \times G)  :  \xi( \Lam bd a \ timesG )  = 0 \}) = e^{-\nu(\Lambda \ti m es G)}> 0 $$ we  hav e that th e e ntranc e t i mes $( t_i(\L ambda )) _{i \ in {{ \ m at hbb {Z }}}}$ to t h e  se t $\{  \ xi \ in \mat hcal{N}(S \times G )  :\xi( \Lambda\ti mesG )  =  0\ }$ are  w e lld e fined and satis fy $t_i(\L am b da ) \rightar r ow\p m \inft y$ as $ i \ri g htarrow  \pm \inf ty$. In p ar ticu l a r,for every$t \in { {\mathbbR }}$ t h er e exi sts  $i_0\i n { {\mat hbb{Z} } }$suchthat $ t_ {i_0-1 }(\La mb da) \leq  t < t_{i_0}(\Lambda)$.  Since  $\Pi _{t _i
 $C$_has no_first generation ancestors, i.e._$\mathcal{A}^\Lambda_1(C)=\emptyset$, then_the_value of_its_flag $u$ alone_will determine whether_$C$ is kept or_not. Otherwise, the_value_of $u$ will decide if $C$ is kept once we determine the fate of_all_the first_generation_ancestors_of $C$.

2.  To decide_whether any given first generation_ancestor $\tilde{C}_\in \mathcal{A}^\Lambda_1(C)$ is kept, one must repeat step_(i)_for $\tilde{C}$ instead_of $C$.

3.  Since the clan of ancestors of_$C$ restricted to $\Lambda$ possesses only_a finite number_of_generations,_one must go backwards_in time and examine a previous_generation of ancestors only a finite_amount of times (at most $N$ times)_so that it is ultimately possible_to determine whether $C$ is_kept.

Therefore, we_are left to answer the_question of under_which conditions_do the clans_of ancestors restricted to $\Lambda$ possess_only a finite_amount of generations. Fortunately, under Assumptions_\[assump\]_this is always_the_case._This is_the content of_the_following proposition.

\[localfinit\]_For_every $\Lambda \in {{\mathcal B}}^0_S$ we_have_that $\A^{t,\Lambda}(\Lambda \times G)$ is finite for_all $t \in {{\mathbb_R}}$.

Since_$\Pi$ is a stationary_process whose invariant measure $\pi^\nu$_satisfies $$\pi^\nu( \{ \xi \in \mathcal{N}(S_\times G)_: \xi(_\Lambda \times G) = 0 \} ) = e^{-\nu(\Lambda \times G)}_> 0$$ we have that the_entrance times $(t_i(\Lambda))_{i \in_{{\mathbb{Z}}}}$ to_the_set $\{ \xi_\in_\mathcal{N}(S \times_G) : \xi( \Lambda \times G) =_0 \}$_are well defined and satisfy $t_i(\Lambda)_\rightarrow \pm \infty$ as_$i_\rightarrow \pm \infty$. In particular, for_every $t \in {{\mathbb R}}$ there_exists $i_0 \in {{\mathbb{Z}}}$ such_that_$t_{i_0-1}(\Lambda)_\leq t < t_{i_0}(\Lambda)$. Since_$\Pi_{t_i