Send the following on WhatsApp
Continue to ChatLarge cardinals need not be large in HOD, Rutgers logic seminar, April 2014 https://jdh.hamkins.org/large-cardinals-need-not-be-large-in-hod-rutgers-logic-seminar-april-1014/
Large cardinals need not be large in HOD, Rutgers logic seminar, April 2014 https://jdh.hamkins.org/large-cardinals-need-not-be-large-in-hod-rutgers-logic-seminar-april-1014/