Send the following on WhatsApp
Large cardinals need not be large in HOD, International Workshop on Set Theory, CIRM, Luminy, September 2014 http://jdh.hamkins.org/large-cardinals-need-not-be-large-in-hod-cirm-luminy-2104/
Don't have WhatsApp yet?
Download
Download