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 steps of a martingale theory for multiple priors. We define minimax (super …