Compactness phenomena in HOD - Gabriel Goldberg; Alejandro Poveda (Forum of Mathematics, Sigma, 2025)
We prove two compactness theorems for HOD. First, if