Abstract
AbstractWe analyze the models $L[T_{2n} ]$, where $T_{2n}$ is a tree on $\omega \times \kappa _{2n + 1}^1 $ projecting to a universal ${\rm{\Pi }}_{2n}^1 $ set of reals, for $n > 1$. Following Hjorth’s work on $L[T_2 ]$, we show that under ${\rm{Det}}\left( {{\rm{}}_{2n}^1 } \right)$, the models $L[T_{2n} ]$ are unique, that is they do not depend of the choice of the tree $T_{2n}$. This requires a generalization of the Kechris–Martin theorem to all pointclasses${\rm{\Pi }}_{2n + 1}^1$. We then characterize these models as constructible models relative to the direct limit of all countable nondropping iterates of${\cal M}_{2n + 1}^\# $. We then show that the GCH holds in $L[T_{2n} ]$, for every $n < \omega $, even though they are not extender models. This analysis localizes the HOD analysis of Steel and Woodin at the even levels of the projective hierarchy.
Publisher
Cambridge University Press (CUP)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Capacities and analytic sets;Large Cardinals, Determinacy and Other Topics;2020-11-05
2. On Vaught’s conjecture;Large Cardinals, Determinacy and Other Topics;2020-11-05
3. The extender algebra and Σ21-absoluteness;Large Cardinals, Determinacy and Other Topics;2020-11-05
4. AD and the uniqueness of the supercompact measures on ℘ꞷ1 (λ);Large Cardinals, Determinacy and Other Topics;2020-11-05
5. Subsets of ℵ1 constructible from a real;Large Cardinals, Determinacy and Other Topics;2020-11-05