Loading paper
A note on Woodin's HOD dichotomy | Tomesphere