TY  - RPRT
TI  - Large cardinals beyond HOD
AU  - Juan Pablo Aguilera
AU  - Joan Bagaria
AU  - Gabriel Goldberg
AU  - Philipp Lücke
PY  - 2025
UR  - https://arxiv.org/abs/2509.10254
ID  - 2509.10254
ER  -