The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin
Logic
2017-11-09 v2
Abstract
Assume -determinacy. It is shown that for any , is a model of GCH, and in fact, it is a Jensen-Steel core model up to .
Cite
@article{arxiv.1711.02007,
title = {The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin},
author = {Yizheng Zhu},
journal= {arXiv preprint arXiv:1711.02007},
year = {2017}
}
Comments
withdrawn due to a mistake in Lemma 6.2