TY - RPRT TI - Compactness phenomena in HOD and the Optimality of Magidor's Covering theorem AU - Tom Benhamou AU - James Cummings AU - Yair Hayut AU - Gabriel Goldberg AU - Alejandro Poveda PY - 2026 UR - https://arxiv.org/abs/2608.24190 ID - 2608.24190 ER -