Send the following on WhatsApp
Continue to ChatInner models with large cardinal features usually obtained by forcing https://jdh.hamkins.org/innermodelswithlargecardinals/
Inner models with large cardinal features usually obtained by forcing https://jdh.hamkins.org/innermodelswithlargecardinals/