On the prewellordering associated to the dircted systems of mice
Abstract
Working under AD, we investigate the length of prewellorderings given by the iterates of 2k+1, which is the minimal proper class mouse with 2k+1 many Woodin cardinals. In particular, we answer some questions from Hjorth01 (the discussion of the questions appears in the last section of HjorthD).
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.