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 …