Send the following on WhatsApp
Continue to ChatReflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal https://jdh.hamkins.org/second-order-reflection-with-abundant-urelements/
Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal https://jdh.hamkins.org/second-order-reflection-with-abundant-urelements/