Proof of strong Markov property for non finite-valued stopping times

560 Views Asked by At

I have this proof about the strong Markov property but it does only hold for finite-valued stopping times. Is it possible to modify it at some points s.t. it holds for any stopping time $\tau$ with values in $\mathbb{N}\cup \{\infty\}$??

enter image description here