Some results about stopping times оf the marked tree space

In this paper, we present some results on stopping times on the space of marked trees. We extend the Courrége–Priouret theorem and prove the strong branching property. As an application we consider an optimal stopping problem for the branching Brownian motion.