On the prewellordering associated to the dircted systems of mice

Grigor Sargsyan

Working under $AD$, we investigate the length of prewellorderings given by the iterates of $\M_{2k+1}$, which is the minimal proper class mouse with $2k+1$ many Woodin cardinals. I…