TY  - RPRT
TI  - The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin
AU  - Yizheng Zhu
PY  - 2017
UR  - https://arxiv.org/abs/1711.02007
ID  - 1711.02007
ER  -