Article contents
On the Prewellorderings Associated with the Directed Systems of Mice
Published online by Cambridge University Press: 12 August 2016
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 [4] (the discussion of the questions appears in the last section of [2]).
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2013
References
REFERENCES
- 3
- Cited by