TY  - RPRT
TI  - HOD in inner models with Woodin cardinals
AU  - Sandra Müller
AU  - Grigor Sargsyan
PY  - 2021
UR  - https://arxiv.org/abs/2004.09201
ID  - 2004.09201
ER  -