@misc{indiciae9b28c73e02da, title = {HOD in inner models with Woodin cardinals}, author = {Sandra Müller and Grigor Sargsyan}, year = {2021}, url = {https://arxiv.org/abs/2004.09201}, note = {Source identifier: 2004.09201} }