We consider optimal stopping problems for ambiguity averse decision makers with multiple priors. In general, backward induction fails. If, however, the class of priors is time-consistent, we establish a generalization of the classical theory of optimal stopping. To this end, we develop first...