On the prewellordering associated to the dircted systems of mice
Logic
2013-01-22 v1
Abstract
Working under , we investigate the length of prewellorderings given by the iterates of , which is the minimal proper class mouse with many Woodin cardinals. In particular, we answer some questions from \cite{Hjorth01} (the discussion of the questions appears in the last section of \cite{HjorthD}).
Cite
@article{arxiv.1301.4925,
title = {On the prewellordering associated to the dircted systems of mice},
author = {Grigor Sargsyan},
journal= {arXiv preprint arXiv:1301.4925},
year = {2013}
}