Abstract
Working under $AD$, we investigate the length of prewellorderings given by the iterates of $\mathcal{M}_{2k+1}$, which is the minimal proper class mouse with $2k+1$ many Woodin cardinals. In particular, we answer some questions from [4] (the discussion of the questions appears in the last section of [2]).
Citation
Grigor Sargsyan. "On the prewellorderings associated with the directed systems of mice." J. Symbolic Logic 78 (3) 735 - 763, September 2013. https://doi.org/10.2178/jsl.7803030
Information
