Send the following on WhatsApp
Continue to ChatWell-founded Boolean ultrapowers as large cardinal embeddings https://jdh.hamkins.org/boolean-ultrapowers/
Well-founded Boolean ultrapowers as large cardinal embeddings https://jdh.hamkins.org/boolean-ultrapowers/